MetateM: An introduction

DOI10.1007/BF01211631MaRDI QIDQ1904643zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 3960965 (Why is no real title available?)
• scientific article; zbMATH DE number 4052975 (Why is no real title available?)
• scientific article; zbMATH DE number 4082943 (Why is no real title available?)
• scientific article; zbMATH DE number 140370 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1348464 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 773990 (Why is no real title available?)
• A Temporal extension of Prolog
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
• MetateM: An introduction
• Proving termination properties of prolog programs: A semantic approach
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Temporal annotated constraint logic programming
• Temporal logic CTL \(+\) Prolog
• Temporal logic programming
• Towards a general theory of action and time
• Towards a unified theory of intensional logic programming
• Using branching time temporal logic to synthesize synchronization skeletons

Cited in

(13)

• A formal characterisation of Hamblin's action-state semantics
• scientific article; zbMATH DE number 1696757 (Why is no real title available?)
• Systems of agents controlled by logical programs: complexity of verification
• Operational semantics of Framed Tempura
• Implementing Temporal Logics: Tools for Execution and Proof
• Combining test case generation and runtime verification
• Bounded situation calculus action theories
• On feasible cases of checking multi-agent systems behavior.
• scientific article; zbMATH DE number 65739 (Why is no real title available?)
• On complexity of verification of interacting agents' behavior
• scientific article; zbMATH DE number 1421193 (Why is no real title available?)
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)
• MetateM: An introduction

Describes a project that uses

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)