Reviewed Work(s): Introduction to bisimulation and coinduction by Davide Sangiorgi; Advanced topics in bisimulation and coinduction by Davide Sangiorgi; Jan Rutten

Association for Symbolic Logic: The Bulletin of Symbolic Logic (forthcoming)
  Copy   BIBTEX

Abstract

Review by: Julian Gutierrez The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 108-110, March 2013

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
A Tractarian Universe.Albert Visser - 2012 - Journal of Philosophical Logic 41 (3):519-545.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Action emulation.Jan van Eijck - 2012 - Synthese 185 (1):131-151.
Introduction.Federico Leoni & Davide Scarso - 2012 - Chiasmi International 14:25-27.
Davide Panagia, The Poetics of Political Thinking ISBN 0-8223-3718-5, (hbk), 166pp. & Davide Panagia, The Political Life of Sensation ISBN 978-0-8223-4479-7, (hbk), 213 pp. [REVIEW]Carlo Salzani - 2010 - Critical Horizons 11 (3):491-496.
Action emulation.Jan Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.
A bisimulation characterization theorem for hybrid logic with the current-state Binder.Ian Hodkinson & Hicham Tahiri - 2010 - Review of Symbolic Logic 3 (2):247-261.
The untamed ontology.Davide Tarizzo - 2011 - Angelaki 16 (3):53 - 61.
Reviewed Work(s): Finite and algorithmic model theory by Javier Esparza; Christian Michaux; Charles Steinhorn.Michael Benedikt - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.

Analytics

Added to PP
2013-10-18

Downloads
24 (#642,030)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references