scientific article; zbMATH DE number 177255

MaRDI QIDQ4037109zbMATH OpenFDO

Authors Bernhard Josko

Publication date 18 May 1993

zbMATH Keywords

reactive systemstemporal logicbisimulationKripke structurehierarchical designmodular specification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 177516
• scientific article; zbMATH DE number 4066844
• An algebraic generalization of Kripke structures
• Kripke logical relations and PCF
• Structurable equivalence relations
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Kripke semantics for intersection formulas
• Kripke Semantics for Basic Sequent Systems
• Equivalences for fair Kripke structures
• Kripke semantics for knowledge representation logics

Cited in

(4)

• The true bisimulations for 'since' and 'until'
• Action emulation between canonical models
• scientific article; zbMATH DE number 177516 (Why is no real title available?)
• Fair equivalence relations

This page was built for publication:

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