Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3607747

Jump to:navigation, search

zbMath1156.03001MaRDI QIDQ3607747

George Boolos

Publication date: 27 February 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Monograph Peano Arithmetic Decidability Modal Logic Textbook Gödel Proof Predicate Normal System Unprovability of Consistency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) 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) Relative consistency and interpretations (03F25)

Related Items (2)

Sequent calculi for intuitionistic Gödel-Löb logic ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics

This page was built for publication:

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