scientific article; zbMATH DE number 5520283

MaRDI QIDQ3607747zbMATH OpenFDO

Authors George Boolos

Publication date 27 February 2009

zbMATH Keywords

DecidabilityGödel Proof PredicateModal LogicMonographNormal SystemPeano ArithmeticTextbookUnprovability of Consistency

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25)

Cited in

(6)

• Multilanguage hierarchical logics, or: How we can do without modal logics
• Sequent calculi for intuitionistic Gödel-Löb logic
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• Some remarks on Hartry Field's notion of “logical consistency”
• « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})

This page was built for publication:

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