Graduate studies at Western
Studia Logica 83 (1-3):133-155 (2006)
|Abstract||Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results – while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspective, showing how modal languages with fixed-point operators are a natural medium to work with.|
|Keywords||Löb's Axiom fixed-point frame correspondence modal μ-calculus|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Holger Sturm & Frank Wolter (2001). First-Order Expressivity for S5-Models: Modal Vs. Two-Sorted Languages. Journal of Philosophical Logic 30 (6):571-591.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
Anuj Dawar & Yuri Gurevich (2002). Fixed Point Logics. Bulletin of Symbolic Logic 8 (1):65-88.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Katsuhiko Sano & Kentaro Sato (2007). Semantical Characterizations for Irreflexive and Generalized Modal Languages. Notre Dame Journal of Formal Logic 48 (2):205-228.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Dick H. J. Jongh & Franco Montagna (1987). Generic Generalized Rosser Fixed Points. Studia Logica 46 (2):193 - 203.
Johan Van Benthem (2005). Minimal Predicates. Fixed-Points, and Definability. Journal of Symbolic Logic 70 (3):696 - 712.
Johan Van Benthem (2006). Modal Frame Correspondences and Fixed-Points. Studia Logica 83 (1/3):133 - 155.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,563 of 739,357 )
Recent downloads (6 months)1 ( #61,680 of 739,357 )
How can I increase my downloads?