Program constructions that are safe for bisimulation

DOI10.1023/A:1005072201319zbMath0958.68104MaRDI QIDQ1577351

J. F. A. K. van Benthem

Publication date: 21 November 2000

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicbisimulations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Some modal aspects of XPath ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Relative expressive power of navigational querying on graphs ⋮ Logical Foundations of XML and XQuery ⋮ Modality, bisimulation and interpolation in infinitary logic ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

This page was built for publication: Program constructions that are safe for bisimulation