Filtration via Bisimulation

In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. CSLI Publications. pp. 289-308 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

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

A Tractarian Universe.Albert Visser - 2012 - Journal of Philosophical Logic 41 (3):519-545.
Action Emulation.Jan van Eijck - 2012 - Synthese 185 (1):131-151.
Action Emulation.Jan Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.
Extensive Games as Process Models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.
Bisimulation for Conditional Modalities.A. Baltag & G. Cinà - 2018 - Studia Logica 106 (1):1-33.
Modal and Guarded Characterisation Theorems Over Finite Transition Systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.
Modal Characterisation Theorems Over Special Classes of Frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.

Analytics

Added to PP
2018-02-17

Downloads
3 (#1,304,835)

6 months
1 (#419,510)

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