Logic of negation-complete interactive proofs (formal theory of epistemic deciders)

DOI10.1016/j.entcs.2013.12.011zbMath1337.03029arXiv1208.5913OpenAlexW1978323526WikidataQ113317926 ScholiaQ113317926MaRDI QIDQ276034

Simon Kramer

Publication date: 26 April 2016

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

zbMATH Keywords

multi-agent systemsepistemic logicagents as proof checkersconstructive Kripke semanticsdisjunctive explicit doxastic logicepistemic deciders as decisive evidenceinteractive and oracle computationnegation as failureproof terms as truth valuesproofs as sufficient evidence

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)

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)

Cites Work

• Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
• The disjunction property of intermediate propositional logics
• Handbook of proof theory
• Logic of Non-monotonic Interactive Proofs
• Notes on Set Theory
• Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logic of negation-complete interactive proofs (formal theory of epistemic deciders)