| Abstract |
Review by: Julian Gutierrez The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 108-110, March 2013
|
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Program Constructions That Are Safe for Bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
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.
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.
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.
The Vienna Circle in Hungary by András Máté; Miklós Rédei; Friedrich Stadler. [REVIEW]Maté Szabó - 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 index
2013-10-18
Total views
19 ( #532,758 of 2,401,581 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,581 )
2013-10-18
Total views
19 ( #532,758 of 2,401,581 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,581 )
How can I increase my downloads?
Downloads
