scientific article; zbMATH DE number 1292294

zbMATH Open0925.03153MaRDI QIDQ4244302FDOQ4244302

Authors: Tim Fernando 

Publication date: 27 May 1999

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

Recommendations

• scientific article; zbMATH DE number 1523036
• Modal Logic, Transition Systems and Processes
• scientific article; zbMATH DE number 972588

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Model theory (03C99)

Cited In (15)

• Logic of transition systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributed transition systems with hidden transitions
• A Dynamic Semantics of Modal Subordination
• A real world semantics for deterministic dynamical systems with finitely many components
• Dynamic squares
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ontological transition systems structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• On the dynamics of conversation

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 Q4244302)