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: 93,612

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

Bisimulation Quantified Modal Logics: Decidability.Tim French - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 147-166.
Advances in Modal Logic, Volume 6: Papers From the Sixth Conference on Advances in Modal Logic, Held in Noosa, Queensland, Australia, 25-28 September 2006.Guido Governatori, Ian Hodkinson & Yde Venema - 1998 - London, England: College Publications.
Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 317-338.
Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 317-338.
A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 227-246.
On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-287.
Decidability of IF Modal Logic of Perfect Recall.T. Hyttinen & T. Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-131.
Decidability of IF Modal Logic of Perfect Recall.T. Hyttinen & T. Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-131.
On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-287.
Filtration via Bisimulation.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 289-308.

Analytics

Added to PP
2020-02-06

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?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references