Introduces level-indexed understanding modalities and a comparative connective in epistemic logic, with graded explanation structures, proving soundness, strong completeness, and decidability of finite-level fragments.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Complete axiomatizations and finite model property proofs are provided for modal logics of a-connected and topologically connected metric spaces.
citing papers explorer
-
Better Understanding, Understanding Better
Introduces level-indexed understanding modalities and a comparative connective in epistemic logic, with graded explanation structures, proving soundness, strong completeness, and decidability of finite-level fragments.
-
On Modal Logics of Connectedness in Metric Spaces
Complete axiomatizations and finite model property proofs are provided for modal logics of a-connected and topologically connected metric spaces.