scientific article; zbMATH DE number 7552284

DOI10.13137/2464-8728/33311MaRDI QIDQ5087787

Stefania Costantini

Publication date: 1 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

epistemic logictheory of mindagents and multi-agent systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70)

Uses Software

• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prolegomena to a theory of mechanized formal reasoning
• The dynamics of epistemic attitudes in resource-bounded agents
• An epistemic logic for multi-agent systems with budget and costs
• Reasoning about rational, but not logically omniscient, agents
• Computational Logic in Multi-Agent Systems