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 (15)

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

This page was built for publication: Characterizations of negative definability in modal logic