Quantified Conditional Logics are Fragments of HOL

TL;DR

This paper presents a semantic embedding of quantified conditional logic into classical higher-order logic, enabling a new way to analyze and reason about such logics using HOL frameworks.

Contribution

It introduces a novel embedding of quantified conditional logic into HOL, bridging the two logical systems for enhanced reasoning capabilities.

Findings

Semantic embedding successfully models quantified conditional logic in HOL

Enables use of HOL tools for reasoning about conditional logic

Provides a foundation for further logical analysis and applications

Abstract

A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.