Bisimulation Quantified Modal Logics: Decidability

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 147-166 (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: 91,423

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

The Monodic Fragment of Propositional Term Modal Logic.Anantha Padmanabha & R. Ramanujam - 2019 - Studia Logica 107 (3):533-557.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Decidability for some justification logics with negative introspection.Thomas Studer - 2013 - Journal of Symbolic Logic 78 (2):388-402.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K4.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Remarks on Gregory's “actually” operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Decidability of Logics Based on an Indeterministic Metric Tense Logic.Yan Zhang & Kai Li - 2015 - Studia Logica 103 (6):1123-1162.
Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.

Analytics

Added to PP
2018-02-17

Downloads
8 (#1,291,989)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some Formal Semantics for Epistemic Modesty.Christopher Steinsvold - 2020 - Logic and Logical Philosophy 29 (3):381-413.

Add more citations

References found in this work

No references found.

Add more references