scientific article; zbMATH DE number 177255

zbMATH Open0797.68061MaRDI QIDQ4037109FDOQ4037109

Authors: Bernhard Josko 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• The true bisimulations for 'since' and 'until'
• Action emulation between canonical models
• Title not available (Why is that?)
• 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)