Conditionals and modularity in general logics
Dov Gabbay (LIF), Karl Schlechta (LIF)
TL;DR
This paper explores the concepts of independence and interpolation across various logical systems including classical, modal, and non-monotonic logics, aiming to understand their properties and interrelations.
Contribution
It provides a comparative analysis of independence and interpolation in different logical frameworks, highlighting their roles and differences.
Findings
Identifies key properties of independence in various logics
Analyzes how interpolation behaves across classical, modal, and non-monotonic logics
Suggests potential applications of these properties in logical reasoning systems
Abstract
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.