Picture for Valerio Genovese

Valerio Genovese

Quantified Conditional Logics are Fragments of HOL

Add code
Apr 26, 2012
Christoph Benzmueller, Valerio Genovese

A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.

* This work has been presented at the conference on Non-classical Modal and Predicate Logics 2011, Guangzhou (Canton), China, 5-9 December 2011 
Viaarxiv icon
Github IconAccess Paper or Ask Questions
Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Add code
Aug 17, 2011
Christoph Benzmueller, Dov Gabbay, Valerio Genovese, Daniele Rispoli
Figure 1 for Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Figure 2 for Embedding and Automating Conditional Logics in Classical Higher-Order Logic

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics.

* 15 pages, 1 Figure, 1 Table 
Viaarxiv icon
Github IconAccess Paper or Ask Questions
Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon