MetateM: An introduction

DOI10.1007/BF01211631zbMATH Open0838.68014OpenAlexW2001516787MaRDI QIDQ1904643FDOQ1904643

Authors: Yanyan Li 

Publication date: 7 January 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211631

Recommendations

• Executable temporal logic systems
• scientific article; zbMATH DE number 947806
• scientific article; zbMATH DE number 4076583
• scientific article; zbMATH DE number 3901996
• scientific article; zbMATH DE number 1536572

zbMATH Keywords

modal logicsreactive systemstemporal logicsMETATEMnon-procedural languages

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Towards a general theory of action and time
• MetateM: An introduction
• Using branching time temporal logic to synthesize synchronization skeletons
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a unified theory of intensional logic programming
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal logic programming
• Temporal annotated constraint logic programming
• Proving termination properties of prolog programs: A semantic approach
• A Temporal extension of Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal logic CTL \(+\) Prolog
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (13)

• On complexity of verification of interacting agents' behavior
• Implementing Temporal Logics: Tools for Execution and Proof
• A formal characterisation of Hamblin's action-state semantics
• Combining test case generation and runtime verification
• Bounded situation calculus action theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Operational semantics of Framed Tempura
• Title not available (Why is that?)
• MetateM: An introduction
• Systems of agents controlled by logical programs: complexity of verification
• Title not available (Why is that?)
• On feasible cases of checking multi-agent systems behavior.

Uses Software

• METATEM

This page was built for publication: MetateM: An introduction

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