Interacting explicit evidence systems
From MaRDI portal
Publication:929292
DOI10.1007/S00224-007-9057-YzbMath1142.03010OpenAlexW1989034894MaRDI QIDQ929292
Publication date: 17 June 2008
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-007-9057-y
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (10)
Justifications for common knowledge ⋮ Explicit Generic Common Knowledge ⋮ A Conflict Tolerant Logic of Explicit Evidence ⋮ A logic of interactive proofs ⋮ NEXP-Completeness and Universal Hardness Results for Justification Logic ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ The ontology of justifications in the logical setting ⋮ Distributed knowledge justification logics ⋮ A logic of plausible justifications
Cites Work
This page was built for publication: Interacting explicit evidence systems