scientific article; zbMATH DE number 2087385

MaRDI QIDQ4738167zbMATH OpenFDO

Authors M. J. Wooldridge, Wiebe van der Hoek

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2315/23150004.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1949006
• scientific article; zbMATH DE number 2182496
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Action and knowledge in alternating-time temporal logic
• scientific article; zbMATH DE number 5593264

Cited in

(14)

• A logic of strategic ability under bounded memory
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Complete axiomatization and decidability of alternating-time temporal logic
• Action and knowledge in alternating-time temporal logic
• A formal treatment of agents, goals and operations using alternating-time temporal logic
• Reducing validity in epistemic ATL to validity in epistemic CTL
• scientific article; zbMATH DE number 1949006 (Why is no real title available?)
• Knowledge representation with multiple logical theories and time
• scientific article; zbMATH DE number 2086522 (Why is no real title available?)
• scientific article; zbMATH DE number 2100580 (Why is no real title available?)
• Aximo: automated axiomatic reasoning for information update
• Refining strategic ability in alternating-time temporal logic
• Reasoning in coalition planning
• Ockham's razor and reasoning about information flow

This page was built for publication:

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