scientific article; zbMATH DE number 5064953
From MaRDI portal
Publication:5494236
zbMath1102.03036MaRDI QIDQ5494236
Publication date: 17 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicfinite model theoryfinite-infinite Ehrenfencht-Fraïssé gamespreservation and characterization theoremstwo-way global bisimulation equivalencevan Benthem-Rosen theorems
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Model theory of finite structures (03C13)
Related Items (6)
Structure and Power: an Emerging Landscape ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ The monadic theory of finite representations of infinite words ⋮ Model theory of XPath on data trees. II: Binary bisimulation and definability ⋮ Characterization, definability and separation via saturated models ⋮ Unnamed Item
This page was built for publication:
