Characterizations of negative definability in modal logic
From MaRDI portal
Publication:1577354
DOI10.1023/A:1005081328928zbMath0954.03022MaRDI QIDQ1577354
Publication date: 4 September 2000
Published in: Studia Logica (Search for Journal in Brave)
modal logic; irreflexivity rule; negative definability; negatively definable classes of Kripke frames
03B45: Modal logic (including the logic of norms)
Related Items
Topologies, Continuity and Bisimulations, An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus, Some characterization and preservation theorems in modal logic, The many faces of interpolation, A general Lindström theorem for some normal modal logics, Modal frame correspondences and fixed-points, On modal \(\mu\)-calculus with explicit interpolants, The Complexity of One-Agent Refinement Modal Logic, On Characterization, Definability and ω-Saturated Models, Continuous Fragment of the mu-Calculus