Modal Logics with Weak Forms of Recursion: PSPACE Specimens

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

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

  • This entry has no external links. Add one.
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

Characterizing PSPACE with pointers.Isabel Oitavem - 2008 - Mathematical Logic Quarterly 54 (3):323-329.
Characterizing PSPACE with pointers.Isabel Oitavern - 2008 - Mathematical Logic Quarterly 54 (3):323-329.
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.A. V. Chagrov & M. N. Rybakov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 71-82.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Simplified Kripke style semantics for some very weak modal logics.Andrzej Pietruszczak - 2009 - Logic and Logical Philosophy 18 (3-4):271-296.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
Conjunctive normal forms and weak modal logics without the axiom of necessity.Shigeo Ōhama - 1984 - Notre Dame Journal of Formal Logic 25 (2):141-151.

Analytics

Added to PP
2018-02-17

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.

Add more citations

References found in this work

No references found.

Add more references