Quantified Conditional Logics are Fragments of HOL (bibtex)
by Christoph Benzmüller, Valerio Genovese
Reference:
Quantified Conditional Logics are Fragments of HOL (Christoph Benzmüller, Valerio Genovese), In The International Conference on Non-classical Modal and Predicate Logics (NCMPL), 2011. ([slides], [movie]) ((The conference had no published proceedings; the paper is available as arXiv:1204.5920v1; superseded by IJCAI-2013 paper))
Bibtex Entry:
@inproceedings{C33,
  Address =	 {Guangzhou (Canton), China},
  Author =	 {Christoph Benzm{\"u}ller and Valerio Genovese},
  Booktitle =	 {The International Conference on Non-classical Modal and Predicate Logics (NCMPL)},
  Comment =	 {<a href="./2011_NCMPL.pdf">[slides]</a>, <a href="./2011_NCMPL_presentation.mov">[movie]</a>},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Conditional Logics, Automated Reasoning},
  Note =	 {(The conference had no published proceedings; the paper is available as arXiv:1204.5920v1; superseded by IJCAI-2013 paper)},
  Title =	 {Quantified Conditional Logics are Fragments of {HOL}},
  Url =		 {http://arxiv.org/abs/1204.5920v1},
  Year =	 2011,
}
Powered by bibtexbrowser