Characterizations of negative definability in modal logic

DOI10.1023/A:1005081328928zbMath0954.03022OpenAlexW1504303851MaRDI QIDQ1577354

Marco Hollenberg

Publication date: 4 September 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005081328928

zbMATH Keywords

modal logicirreflexivity rulenegative definabilitynegatively definable classes of Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Changing a Semantics: Opportunism or Courage?, The Complexity of One-Agent Refinement Modal Logic, A general Lindström theorem for some normal modal logics, Existential definability of modal frame classes, Modal frame correspondences and fixed-points, Continuous Fragment of the mu-Calculus, Tracking Information, Semantics for knowledge and change of awareness, An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus, Some characterization and preservation theorems in modal logic, Topologies, Continuity and Bisimulations, On modal \(\mu\)-calculus with explicit interpolants, The many faces of interpolation, Unnamed Item, On Characterization, Definability and ω-Saturated Models