3 papers
cs.LO2026
Fusions of One-Variable First-Order Modal Logics
Roman Kontchakov, Dmitry Shkatov, Frank Wolter
We investigate preservation results for the independent fusion of one-variable first-order modal logics. We show that, without equality, Kripke completeness and decidability of glo…
cs.LO2025
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
Alessandro Artale, Christopher Hampson, Roman Kontchakov +2
While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at mo…
cs.LO2024
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo +1
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal log…