Quantified modal logic and self-reference

DOI10.1305/ndjfl/1093637556zbMath0635.03014OpenAlexW2006816077MaRDI QIDQ1097256

Craig Smorynski

Publication date: 1987

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

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

zbMATH Keywords

modal logicprovability logicarithmetical provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)

Related Items

Definability and commonsense reasoning, Provability logics for natural Turing progressions of arithmetical theories