Sahlqvist Correspondence for Modal mu-calculus

, &
Studia Logica 100 (1-2):31-60 (2012)
  Copy   BIBTEX

Abstract

We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them

Categories

Keywords

Reprint years

DOI

10.1007/s11225-012-9388-9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sahlqvist Correspondence for Modal mu-calculus.Johan van Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
A Dichotomy for Some Elementarily Generated Modal Logics.Stanislav Kikot - 2015 - Studia Logica 103 (5):1063-1093.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
Expressiveness of the modal mu-calculus on monotone neighborhood structures.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - unknown
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Which classical correspondence is valid in intuitionistic modal logic?Kensuke Kojima - 2012 - Logic Journal of the IGPL 20 (1):331-348.
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
On Modal μ-Calculus and Gödel-Löb Logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145-169.

Analytics

Added to PP
2012-02-08

Downloads
45 (#491,321)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Johan Van Benthem
University of Amsterdam
Nick Bezhanishvili
University of Amsterdam

Citations of this work

The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.

Add more citations

References found in this work

Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.
Hybrid logics with Sahlqvist axioms.B. ten Cate - 2005 - Logic Journal of the IGPL 13 (3):293-300.
Hybrid logics with Sahlqvist axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.

View all 10 references / Add more references