Possible world semantics for first-order logic of proofs

DOI10.1016/j.apal.2013.07.011zbMath1345.03036OpenAlexW2002106559MaRDI QIDQ392284

Melvin Fitting

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.011

zbMATH Keywords

completenesslogic of proofsjustification logicpossible world semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Modal logics, justification logics, and realization ⋮ Justification logic with confidence ⋮ On causality as the fundamental concept of Gödel's philosophy ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Causality and Attribution in an Aristotelian Theory

Cites Work

• The logic of proofs, semantically
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION
• Unnamed Item