Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 177-193
- https://doi.org/10.1007/3-540-49057-4_12
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A survey of concurrent MetateM — The language and its applicationsPublished by Springer Nature ,2005
- Compositional design and verification of a multi-agent system for one-to-many negotiationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- An Interpretation of Default Logic in Minimal Temporal Epistemic LogicJournal of Logic, Language and Information, 1998
- Compositional verification of knowledge-based systems: A case study for diagnostic reasoningPublished by Springer Nature ,1997
- Executable Temporal Logic for Non-monotonic ReasoningJournal of Symbolic Computation, 1996
- Minimal Temporal Epistemic LogicNotre Dame Journal of Formal Logic, 1996
- Specification of nonmonotonic reasoningPublished by Springer Nature ,1996
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- Adding a temporal dimension to a logic systemJournal of Logic, Language and Information, 1992
- The Logic of TimePublished by Springer Nature ,1983