The modal logic of pure provability

DOI10.1305/NDJFL/1093635417MaRDI QIDQ749522zbMATH OpenOpenAlexFDO

Authors Samuel R. Buss

Publication date 1990

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635417

zbMATH Keywords

consistencymodal logicprovability logicKripke modelS4Grzegorczyk axiomnon-monotonic logicspropositional theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 515725
• Modal logics with several operators and probability interpretations
• scientific article; zbMATH DE number 3963790
• scientific article; zbMATH DE number 4197983
• scientific article; zbMATH DE number 1215499

Cited in

(15)

• Rosser provability and normal modal logics
• A sound and complete proof theory for the generalized logic of only knowing
• A proof-irrelevant model of Martin-Löf's logical framework
• Schematic Validity in Dynamic Epistemic Logic: Decidability
• scientific article; zbMATH DE number 1778904 (Why is no real title available?)
• On modal logics of model-theoretic relations
• Pure modal logic of names and tableau systems
• Rosser Orderings in Bimodal Logics
• scientific article; zbMATH DE number 6302903 (Why is no real title available?)
• On bimodal logics of provability
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• scientific article; zbMATH DE number 3924750 (Why is no real title available?)
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 3976995 (Why is no real title available?)
• Information dynamics and uniform substitution

This page was built for publication: The modal logic of pure provability

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