---
title: "Automating Quantified Conditional Logics in HOL"
authors:
  - "Christoph Benzmüller"
doi: ""
url: "https://ijcai.org/proceedings/2013/117"
pdf: "https://ijcai.org/proceedings/2013/0117.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "746-752"
track: ""
keywords:
---

# Automating Quantified Conditional Logics in HOL

Christoph Benzmüller

*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.