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 "
                  target="_blank">[slides]</a>, <a
                  href="./2011_NCMPL_presentation.mov "
                  target="_blank">[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