Justification Logic

DOI10.1017/9781108348034zbMath1479.03001OpenAlexW4211092209MaRDI QIDQ5376691

Melvin Fitting, Sergej N. Artemov

Publication date: 17 May 2019

Full work available at URL: https://doi.org/10.1017/9781108348034

zbMATH Keywords

tableauxsequent calculusrealizabilitylogic of proofsFitting modelsjustification awareness modelsarithmetic interpretationsbasic modelsBrower-Heyting-Kolmogorov semantics of intuitionistic logicGeach logicsMkrtychev modelsRussel prime minister example

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) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

The dynamics of argumentative discourse, 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, Soundness and completeness results for LEA and probability semantics, Relating Semantics for Epistemic Logic, Incorporating the Relation into the Language?, BISIMULATIONS FOR KNOWING HOW LOGICS, Semirings of Evidence, The logic of justified belief, explicit knowledge, and conclusive evidence, Paraconsistent logic, evidence, and justification, Prefixed tableaus and nested sequents, On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs, Conditional obligations in justification logic, Justification logic with confidence, Modal and justification logics for multi-agent systems (invited talk), A substructural approach to explicit modal logic, Providing personalized explanations: a conversational approach, Reasoning about ignorance and beliefs, Structured argumentation dynamics. Undermining attacks in default justification logic, Oskar Becker and the modal translation of intuitionistic logic, Justification Logics with Probability Operators