Bisimulations and predicate logic

DOI10.2307/2275918zbMath0809.03018OpenAlexW2126355236MaRDI QIDQ4314681

Tim Fernando

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

zbMATH Keywords

modal logicfirst-order logicbisimulationsemanticsnondeterminismtransition systemlogical complexityinfinite branchingcoinductive characterization of bisimilarityequivalence on programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (1)

A type reduction from proof-conditional to dynamic semantics

Cites Work

• Language in action. Categories, lambdas and dynamic logic
• Process Algebra
• Unnamed Item
• Unnamed Item

This page was built for publication: Bisimulations and predicate logic