Logic of transition systems

DOI10.1007/BF01160018zbMath0827.03019MaRDI QIDQ1895974

J. F. A. K. van Benthem, Jan A. Bergstra

Publication date: 26 September 1995

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logicinvarianceprocess algebrabisimulationdefinabilitylabeled transition systemfirst-order model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Basic properties of first-order languages and structures (03C07) Other applications of logic (03B80)

Related Items (12)

The Range of Modal Logic ⋮ Unnamed Item ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Algebra of timed frames ⋮ Linear temporal logic with until and next, logical consecutions ⋮ Hexagonal Grid Fields Optimally Encode Transitions in Spatiotemporal Sequences ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ Knowledge and Local Actions ⋮ Modal languages and bounded fragments of predicate logic ⋮ Swinging types=functions+relations+transition systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• Axiomatising the logic of computer programming
• Language in action. Categories, lambdas and dynamic logic
• On sequential composition, action prefixes and process prefix
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Process algebra for synchronous communication
• Algebraic laws for nondeterminism and concurrency

This page was built for publication: Logic of transition systems