The modal logic of pure provability

DOI10.1305/ndjfl/1093635417zbMath0713.03009OpenAlexW1996093895MaRDI QIDQ749522

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

modal logicconsistencyprovability logicKripke modelS4Grzegorczyk axiomnon-monotonic logicspropositional theory

Mathematics Subject Classification ID

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

Related Items

On modal logics of model-theoretic relations, Information dynamics and uniform substitution, Explicit Provability and Constructive Semantics, Schematic Validity in Dynamic Epistemic Logic: Decidability