Possible world semantics for first-order logic of proofs

DOI10.1016/J.APAL.2013.07.011MaRDI QIDQ392284zbMATH OpenOpenAlexFDO

Authors 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

completenessjustification logiclogic of proofspossible world semantics

Mathematics Subject Classification ID

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

Recommendations

• The first-order hypothetical logic of proofs
• The logic of proofs, semantically
• scientific article; zbMATH DE number 1751350
• On symbolic models for single-conclusion logic of proofs
• The basic intuitionistic logic of proofs

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• Explicit provability and constructive semantics
• The logic of justification
• The logic of proofs, semantically

Cited in

(8)

• Modal logics, justification logics, and realization
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• On causality as the fundamental concept of Gödel's philosophy
• Common law precedent and the logic of reasons
• scientific article; zbMATH DE number 5995417 (Why is no real title available?)
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Justification logic with confidence
• Causality and Attribution in an Aristotelian Theory

This page was built for publication: Possible world semantics for first-order logic of proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392284)