Modal Logic, Transition Systems and Processes

DOI10.1093/LOGCOM/4.5.811MaRDI QIDQ4316304zbMATH OpenOpenAlexFDO

Authors Jan van Eijck, Vera Stebletsova, Johan van Benthem

Publication date 7 December 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/aa93c64a3b9e9918586272efc590e024f3a2866d

zbMATH Keywords

bisimulationconcurrent PDLKripke structuremodal logicprocess algebrapropositional dynamic logictemporal logictransition system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Theory of computing (68Q99)

Recommendations

• Logic of transition systems
• scientific article; zbMATH DE number 557977
• Modal logics for nominal transition systems
• Modal logics for communicating systems

Cited in

(25)

• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Transition operators assigned to physical systems
• Logic of transition systems
• First-order definability of transition structures
• Bisimilar and logically equivalent programs in PDL with parallel operator
• Algebra of timed frames
• scientific article; zbMATH DE number 1678355 (Why is no real title available?)
• Ontological transition systems structures
• Modular Markovian Logic
• scientific article; zbMATH DE number 3870583 (Why is no real title available?)
• scientific article; zbMATH DE number 3918335 (Why is no real title available?)
• scientific article; zbMATH DE number 38137 (Why is no real title available?)
• scientific article; zbMATH DE number 1292294 (Why is no real title available?)
• scientific article; zbMATH DE number 515733 (Why is no real title available?)
• A Modal Logic for Full LOTOS based on Symbolic Transition Systems
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• The theory of Peano _1 sentences
• Modal logics for nominal transition systems
• scientific article; zbMATH DE number 2196588 (Why is no real title available?)
• Modal logics for nominal transition systems
• Labelled transition logic: An outline
• Realisability of global models of interaction
• Translations between modal logics of reactive systems
• Modal logics for mobile processes

This page was built for publication: Modal Logic, Transition Systems and Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4316304)