Quantified Conditional Logics are Fragments of HOL
Artificial Intelligence
2012-04-27 v1 Logic in Computer Science
Abstract
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
Cite
@article{arxiv.1204.5920,
title = {Quantified Conditional Logics are Fragments of HOL},
author = {Christoph Benzmueller and Valerio Genovese},
journal= {arXiv preprint arXiv:1204.5920},
year = {2012}
}
Comments
This work has been presented at the conference on Non-classical Modal and Predicate Logics 2011, Guangzhou (Canton), China, 5-9 December 2011