Bisimulations and predicate logic
Journal of Symbolic Logic 59 (3):924-944 (1994)
| Abstract | are considered with a view toward analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes) generalizing input/output equivalence (at a cost exceeding II' ,over certain transition predicates computable in log space). and (ii) as a tool for analyzing the dependence of transitions on data (which can be shown to be elementary or nonelementary. depending on the formulation of the transitions) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMohammad Ardeshir (1999). A Translation of Intuitionistic Predicate Logic Into Basic Predicate Logic. Studia Logica 62 (3):341-352.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
Guy Politzer (2003). No Problem for Aristotle's Subject and Predicate. Behavioral and Brain Sciences 26 (3):298-299.
Herman Dishkant (1986). About Finite Predicate Logic. Studia Logica 45 (4):405 - 414.
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Dmitrij Skvortsov (1997). Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Studia Logica 59 (3):387-396.
Greg Restall (2005). Logic: An Introduction. Routledge.
Natasha Kurtonina & Maarten de Rijke (1997). Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4):403-425.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,324 of 556,772 )Recent downloads (6 months)2 ( #38,924 of 556,772 )How can I increase my downloads? |
My notes
Discussion
