Embedding and automating conditional logics in classical higher-order logic

Authors:
Christoph Benzmüller;Dov Gabbay;Valerio Genovese;Daniele Rispoli
Affiliations:
Freie Universität Berlin, Berlin, Germany;King's College London, London, UK WC2R 2LS;University of Luxembourg, Walferdange, Luxembourg and University of Torino, Torino, Italy;University of Torino, Torino, Italy
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2012

Citing 6
Cited 2

Conditional logics of normality: a modal approach

Artificial Intelligence
A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic (TOCL)
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning
Optimal Tableaux for Conditional Logics with Cautious Monotonicity

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A constructive conditional logic for access control: a preliminary report

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Verifying the modal logic cube is an easy task: for higher-order automated reasoners

Verification, induction termination analysis

Automating quantified conditional logics in HOL

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Sigma: An integrated development environment for formal ontology

AI Communications - Intelligent Engineering Techniques for Knowledge Bases

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.