- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On modal μ-calculus with explicit interpolants
Journal of Applied Logic 4 (3):256-278 (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
The G4i Analogue of a G3i Sequent Calculus.Rosalie Iemhoff - 2022 - Studia Logica 110 (6):1493-1506.
Deciding the existence of uniform interpolants over transitive models.Giovanna D’Agostino & Giacomo Lenzi - 2011 - Archive for Mathematical Logic 50 (1-2):185-196.
Systems of explicit mathematics with non-constructive μ-operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 140-155.
Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
Completions of μ-algebras.Luigi Santocanale - 2008 - Annals of Pure and Applied Logic 154 (1):27-50.
The variable hierarchy for the games μ-calculus.Walid Belkhir & Luigi Santocanale - 2010 - Annals of Pure and Applied Logic 161 (5):690-707.
On modal μ-calculus and non-well-founded set theory.Luca Alberucci & Vincenzo Salipante - 2004 - Journal of Philosophical Logic 33 (4):343-360.
Analytics
Added to PP
2016-06-30
Downloads
21 (#883,645)
6 months
13 (#193,282)
2016-06-30
Downloads
21 (#883,645)
6 months
13 (#193,282)
Historical graph of downloads
Author's Profile
Citations of this work
A general multi-agent epistemic planner based on higher-order belief change.Hai Wan, Biqing Fang & Yongmei Liu - 2021 - Artificial Intelligence 301 (C):103562.
Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
Uniform Interpolation for Monotone Modal Logic.Luigi Santocanales & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 350-370.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5d8df9484f-rkp68 uwo