Quantified Conditional Logics are Fragments of HOL
Abstract
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
View on arXivComments on this paper
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
View on arXiv