Modal frame correspondences and fixed-points

DOI10.1007/s11225-006-8301-9zbMath1106.03017OpenAlexW2116193330MaRDI QIDQ2433098

J. F. A. K. van Benthem

Publication date: 27 October 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-006-8301-9

zbMATH Keywords

fixed-pointmodal \(\mu\)-calculusframe correspondenceLöb's Axiom

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (24)

On Hamblin's 15 Tense Theorem ⋮ Some modal aspects of XPath ⋮ The Henkin Sentence ⋮ ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Fixed point logics and definable topological properties ⋮ Sahlqvist theorem for modal fixed point logic ⋮ Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ Continuous Fragment of the mu-Calculus ⋮ Complete axiomatizations for XPath fragments ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Game Quantification Patterns ⋮ Interpolation properties for provability logics GL and GLP ⋮ The bounded proof property via step algebras and step frames ⋮ On modal \(\mu \)-calculus and Gödel-Löb logic ⋮ Unnamed Item ⋮ Merging frameworks for interaction ⋮ The modalμ-calculus hierarchy over restricted classes of transition systems ⋮ Unnamed Item ⋮ Constructive Modalities with Provability Smack ⋮ Circular proofs for the Gödel-Löb provability logic ⋮ Toward a theory of play: a logical perspective on games and interaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizations of negative definability in modal logic
• Elementary canonical formulae: extending Sahlqvist's theorem
• Determiners and logic
• Transitivity follows from Dummett's axiom
• Modal deduction in second-order logic and set theory - I
• The Range of Modal Logic
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Minimal predicates, fixed-points, and definability

This page was built for publication: Modal frame correspondences and fixed-points