scientific article; zbMATH DE number 7552284
From MaRDI portal
Publication:5087787
DOI10.13137/2464-8728/33311MaRDI QIDQ5087787
Publication date: 1 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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