scientific article; zbMATH DE number 1292294

MaRDI QIDQ4244302zbMATH OpenFDO

Authors Tim Fernando

Publication date 27 May 1999

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(16)

• On the dynamics of conversation
• Logic of transition systems
• scientific article; zbMATH DE number 6790161 (Why is no real title available?)
• scientific article; zbMATH DE number 5068370 (Why is no real title available?)
• 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
• First-order definability of transition structures
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• scientific article; zbMATH DE number 792228 (Why is no real title available?)
• Ontological transition systems structures
• scientific article; zbMATH DE number 1523036 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 1361475 (Why is no real title available?)
• Formal semantics of meta-level architectures: Dynamic control of reasoning

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)