Translations between modal logics of reactive systems

DOI10.1016/0304-3975(94)00204-VzbMath0874.68273MaRDI QIDQ674003

Ph Schnoebelen, Sophie Pinchinat, François Laroussinie

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

automated analysis of reactive systemsmeaning-preserving translations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A hierarchy of temporal logics with past, Translations between modal logics of reactive systems, Event Identifier Logic

Cites Work

• A hierarchy of temporal logics with past
• Translations between modal logics of reactive systems
• A calculus of communicating systems
• The power of the future perfect in program logics
• Algebraic laws for nondeterminism and concurrency
• Three logics for branching bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item