MetateM: An introduction

DOI10.1007/BF01211631zbMath0838.68014OpenAlexW2001516787MaRDI QIDQ1904643

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

reactive systemsmodal logicstemporal logicsMETATEMnon-procedural languages

Mathematics Subject Classification ID

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

Related Items (8)

Bounded situation calculus action theories ⋮ Operational semantics of Framed Tempura ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ MetateM: An introduction ⋮ On feasible cases of checking multi-agent systems behavior. ⋮ Combining test case generation and runtime verification ⋮ On complexity of verification of interacting agents' behavior ⋮ Systems of agents controlled by logical programs: complexity of verification

Uses Software

• METATEM

Cites Work

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

This page was built for publication: MetateM: An introduction