Automating Quantified Conditional Logics in HOL

Benzmüller, Christoph

Automating Quantified Conditional Logics in HOL

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 746-752.

Abstract

A notion of quantified conditional logics is provided that includes quantification over individual and propositional variables. The former is supported with respect to constant and variable domain semantics. In addition, a sound and complete embedding of this framework in classical higher-order logic is presented. Using prominent examples from the literature it is demonstrated how this embedding enables effective automation of reasoning within (object-level) and about (meta-level) quantified conditional logics with off-the-shelf higher-order theorem provers and model finders.

Christoph Benzmüller. 2013. Automating Quantified Conditional Logics in HOL. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 746–752. https://ijcai.org/proceedings/2013/117

@inproceedings{ijcai2013p117,
  title     = {Automating Quantified Conditional Logics in HOL},
  author    = {Benzmüller, Christoph},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {746--752},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/117},
}

TY  - CPAPER
TI  - Automating Quantified Conditional Logics in HOL
AU  - Benzmüller, Christoph
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 746
EP  - 752
UR  - https://ijcai.org/proceedings/2013/117
ER  -