Logic of Non-monotonic Interactive Proofs

DOI10.1007/978-3-642-36039-8_16zbMath1303.68129arXiv1208.1842OpenAlexW3101678140MaRDI QIDQ2936240

Simon Kramer

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1208.1842

zbMATH Keywords

constructive Kripke semanticsinteractive and oracle computationproofs as sufficient evidenceagents as proof- and signature-checkersinterpreted communicationmulti-agent distributed systems

Mathematics Subject Classification ID

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

Related Items (2)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) ⋮ Logic of negation-complete interactive proofs (formal theory of epistemic deciders)

This page was built for publication: Logic of Non-monotonic Interactive Proofs