Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic (bibtex)
by Christoph Benzmüller
Reference:
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic (Christoph Benzmüller), In Annals of Mathematics and Artificial Intelligence (Special issue Computational logics in Multi-agent Systems (CLIMA XI)), volume 62, number 1-2, pp. 103-128, 2011. (slides)
Bibtex Entry:
@article{J25,
  Author =	 {Christoph Benzm{\"u}ller},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2010-ECAI-ARCOE-16-8.pdf
                  " target="_blank">slides</a>},
  Doi =		 {10.1007/s10472-011-9249-7},
  Journal =	 {Annals of Mathematics and Artificial Intelligence
                  (Special issue Computational logics in Multi-agent
                  Systems (CLIMA XI))},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Henkin Semantics, Automated Reasoning},
  Number =	 {1-2},
  Pages =	 {103-128},
  Title =	 {Combining and Automating Classical and Non-Classical
                  Logics in Classical Higher-Order Logic},
  Url =		 {http://christoph-benzmueller.de/papers/J25.pdf},
  Volume =	 62,
  Year =	 2011,
}
Powered by bibtexbrowser