Bulletin of Symbolic Logic 2 (3):349-366 (1996)
Abstract |
The propositional μ -calculus is an extension of the modal system K with a least fixpoint operator. Kozen posed a question about completeness of the axiomatisation of the logic which is a small extension of the axiomatisation of the modal system K. It is shown that this axiomatisation is complete
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/420995 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
A Finite Model Theorem for the Propositional Μ-Calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Axiomatising Linear Time Mu-Calculus.Roope Kaivola - 1995 - Lfcs, Dept. Of Computer Science, University of Edinburgh.
Citations of this work BETA
No citations found.
Similar books and articles
Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Absolute Probability Functions for Intuitionistic Propositional Logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Completeness Theorems Via the Double Dual Functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
A Simple Proof of Completeness and Cut-Elimination for Propositional G¨ Odel Logic.Arnon Avron - unknown
On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
A Finite Model Theorem for the Propositional Μ-Calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Analytics
Added to PP index
2009-01-28
Total views
94 ( #125,874 of 2,519,698 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,698 )
2009-01-28
Total views
94 ( #125,874 of 2,519,698 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,698 )
How can I increase my downloads?
Downloads