Transition systems and dynamic semantics

DOI10.1007/BFB0023431MaRDI QIDQ4244302zbMATH OpenFDO

Authors Tim Fernando

Publication date 27 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/2299

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(19)

• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Attributed transition systems with hidden transitions
• Logic of transition systems
• Dynamic squares
• First-order definability of transition structures
• Ontological transition systems structures
• A Dynamic Semantics of Modal Subordination
• scientific article; zbMATH DE number 549968 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• Logic, language, and information
• scientific article; zbMATH DE number 1523036 (Why is no real title available?)
• On the dynamics of conversation
• Specifying computations using hyper transition systems
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• scientific article; zbMATH DE number 792228 (Why is no real title available?)
• A real world semantics for deterministic dynamical systems with finitely many components
• scientific article; zbMATH DE number 6790161 (Why is no real title available?)
• scientific article; zbMATH DE number 5068370 (Why is no real title available?)
• scientific article; zbMATH DE number 972588 (Why is no real title available?)

This page was built for publication: Transition systems and dynamic semantics

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