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)

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

Similar books and articles

Deciding the unguarded modal -calculus.Oliver Friedmann & Martin Lange - 2013 - Journal of Applied Non-Classical Logics 23 (4):353-371.
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.
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