scientific article; zbMATH DE number 5520283

zbMATH Open1156.03001MaRDI QIDQ3607747FDOQ3607747

Authors: George Boolos 

Publication date: 27 February 2009

Title of this publication is not available (Why is that?)

zbMATH Keywords

MonographDecidabilityPeano ArithmeticModal LogicTextbookGödel Proof PredicateNormal SystemUnprovability of Consistency

Mathematics Subject Classification ID

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

Cited In (6)

• Some remarks on Hartry Field's notion of “logical consistency”
• 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
• « 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)