The modal logic of pure provability

DOI10.1305/NDJFL/1093635417zbMATH Open0713.03009OpenAlexW1996093895MaRDI QIDQ749522FDOQ749522

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

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

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)

Cited In (15)

• 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
• Title not available (Why is that?)
• On modal logics of model-theoretic relations
• Pure modal logic of names and tableau systems
• Rosser Orderings in Bimodal Logics
• Title not available (Why is that?)
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• On bimodal logics of provability
• Title not available (Why is that?)
• Explicit provability and constructive semantics
• Title not available (Why is that?)
• Information dynamics and uniform substitution
• Rosser provability and normal modal logics

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)