Modal and justification logics for multi-agent systems (invited talk)

DOI10.1007/978-3-031-40875-5_1zbMath1528.68363OpenAlexW4385444661MaRDI QIDQ6139081

Thomas Studer, David Lehnherr, Christian Cachin

Publication date: 16 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-40875-5_1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• A simplicial complex model for dynamic epistemic logic to study distributed task computability
• Subset models for justification logic
• A logic of knowing why
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• THE LOGIC OF JUSTIFICATION
• The knowledge complexity of interactive proof-systems
• A logic of blockchain updates
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Justification Logic
• A logic of interactive proofs

This page was built for publication: Modal and justification logics for multi-agent systems (invited talk)