Bisimulations and predicate logic
From MaRDI portal
Publication:4314681
DOI10.2307/2275918zbMath0809.03018MaRDI QIDQ4314681
Publication date: 29 March 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/5280
modal logic; first-order logic; bisimulation; semantics; nondeterminism; transition system; logical complexity; infinite branching; coinductive characterization of bisimilarity; equivalence on programs
Related Items
Cites Work