Possible world semantics for first-order logic of proofs

DOI10.1016/J.APAL.2013.07.011zbMATH Open1345.03036OpenAlexW2002106559MaRDI QIDQ392284FDOQ392284

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

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

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)

Cites Work

• Explicit provability and constructive semantics
• The logic of proofs, semantically
• The logic of justification
• Title not available (Why is that?)

Cited In (8)

• Modal logics, justification logics, and realization
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Common law precedent and the logic of reasons
• On causality as the fundamental concept of Gödel's philosophy
• Title not available (Why is that?)
• 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)