Filtration via Bisimulation

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,549

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

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.
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.
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.
From Bisimulation Quantifiers to Classifying Toposes.Silvio Ghilardi & Marek Zawadowski - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-220.
From Bisimulation Quantifiers to Classifying Toposes.Silvio Ghilardi & Marek Zawadowski - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-220.
The succinctness of first-order logic over modal logic via a formula size game.Lauri Hella & Miikka Vilander - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 491-419.
Isomorphism via translation.Tadeusz Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 333-351.

Analytics

Added to PP
2018-02-17

Downloads
8 (#1,358,078)

6 months
4 (#1,052,953)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Shehtman
Moscow State University

Citations of this work

Axiomatization and completeness of lexicographic products of modal logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.

Add more citations

References found in this work

No references found.

Add more references