Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

2003/10/01 by Wiebe van der Hoek, Michael Wooldridge · 2 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1023/a:1026185103185

crossref issued 2003/10/01 · crossref published 2003/10/01 · crossref published-print 2003/10/01 · openalex publication_date 2003/10/01 · crossref created 2003/11/03 · openalex created_date 2016/06/24 · crossref deposited 2025/08/08 · openalex updated_date 2026/07/29 · crossref indexed 2026/07/29

Citations

• “Sometimes” and “not never” revisited

Cited by

• Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
• Changing Observations in Epistemic Temporal Logic