A decision procedure for alternation-free modal μ-calculi

, &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 341-362 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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

A decision procedure for alternation-free modal μ-calculi.Yoshinori Tannabe, Koichi Takahashi & Masami Hagiya - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 341-362.
Advances in Modal Logic, Volume 7: Papers From the Seventh Advances in Modal Logic Conference, Held in Nancy, France, September 2008.Carlos Areces & Robert Goldblatt (eds.) - 2008 - London, England: College Publications.
Resolution is a Decision Procedure for Many Propositional Modal Logics.Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 189-208.
Resolution is a Decision Procedure for Many Propositional Modal Logics.Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 189-208.
Completions of μ-algebras.Luigi Santocanale - 2008 - Annals of Pure and Applied Logic 154 (1):27-50.
A modal perspective on monadic second-order alternation hierarchies.Antti Kuusisto - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 231-247.
A modal perspective on monadic second-order alternation hierarchies.Antti Kuusisto - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 231-247.
A Resolution-Based Decision Procedure for Extensions of K4.Harald Ganzinger, Ullrich Hustadt, Christoph Meyer & Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 243-262.
A Resolution-Based Decision Procedure for Extensions of K4.Harald Ganzinger, Ullrich Hustadt, Christoph Meyer & Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 243-262.
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.

Analytics

Added to PP
2018-02-17

Downloads
12 (#1,372,094)

6 months
5 (#1,047,105)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references