1-consistency and the diamond

From MaRDI portal

Publication:1074577

Jump to:navigation, search

DOI10.1305/ndjfl/1093870927zbMath0591.03040OpenAlexW2029510773MaRDI QIDQ1074577

George Boolos

Publication date: 1985

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

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

zbMATH Keywords

modal logic provability first order arithmetic 1-provability arithmetic interpretation modal propositional logic G omega-derivability underivable propositional formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25)

This page was built for publication: 1-consistency and the diamond

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1074577&oldid=13094929"