On guarded transformation in the modal -calculus

, &
Logic Journal of the IGPL 23 (2):194-216 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu030

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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

Deciding the unguarded modal -calculus.Oliver Friedmann & Martin Lange - 2013 - Journal of Applied Non-Classical Logics 23 (4):353-371.
Tableau calculus for local cubic modal logic and its implementation.M. Marx, S. Mikulàs & S. Schlobach - 1999 - Logic Journal of the IGPL 7 (6):755-778.
Review: Review of Modal Logic P. Blackburn, M. de Rijke, Y. Venema: Review of Modal Logic. [REVIEW]Heinrich Wansing - 2002 - Logic Journal of the IGPL 10 (4):457-458.
On Modal μ-Calculus and Gödel-Löb Logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145-169.
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.Martin Otto & Robert Piro - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 273-287.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.Martin Otto & Robert Piro - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 273-287.
Guarded Negation.Balder ten Care - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 183-184.
Guarded Negation.Balder ten Care - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 183-184.
A Formal Characterisation Of Institutionalised Power.Andrew Jones & Marek Sergot - 1996 - Logic Journal of the IGPL 4 (3):427-443.

Analytics

Added to PP
2016-06-30

Downloads
19 (#1,120,317)

6 months
2 (#1,294,541)

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