Embedding and Automating Conditional Logics in Classical Higher-Order Logic (bibtex)
by Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli
Reference:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Annals of Mathematics and Artificial Intelligence, volume 66, number 1-4, pp. 257-271, 2012. (Url (preprint): http://christoph-benzmueller.de/papers/J26.pdf)
Bibtex Entry:
@article{J26,
  Author =	 {Christoph Benzm{\"u}ller and Dov Gabbay and Valerio
                  Genovese and Daniele Rispoli},
  Doi =		 {10.1007/s10472-012-9320-z},
  Journal =	 {Annals of Mathematics and Artificial Intelligence},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding,
                  Conditional Logics, Automated Reasoning},
  Number =	 {1-4},
  Pages =	 {257-271},
  Title =	 {Embedding and Automating Conditional Logics in
                  Classical Higher-Order Logic},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J26.pdf}},
  Volume =	 66,
  Year =	 2012,
}
Powered by bibtexbrowser