scientific article; zbMATH DE number 7101543

zbMath1457.03004MaRDI QIDQ5232011

Thomas Studer, Roman Kuznets

Publication date: 4 September 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic of proofsself-referentialityarithmetical completenessproof-termepistemic modelBHK-interpretationconstant specificationevidence-termlogic of justifications

Mathematics Subject Classification ID

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)

Related Items (13)

A Conflict Tolerant Logic of Explicit Evidence ⋮ Explicit non-normal modal logic ⋮ Justification logic and type theory as formalizations of intuitionistic propositional logic ⋮ A logic of interactive proofs ⋮ Semirings of Evidence ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Conditional obligations in justification logic ⋮ Modal and justification logics for multi-agent systems (invited talk) ⋮ A substructural approach to explicit modal logic ⋮ Providing personalized explanations: a conversational approach ⋮ A logic of knowing why ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Justification Logics with Probability Operators

This page was built for publication: