scientific article; zbMATH DE number 915329

MaRDI QIDQ4890178zbMATH OpenFDO

Authors Jacek Hawranek

Publication date 5 December 1996

zbMATH Keywords

completenessmodal logicscattered spacestranslationalgebraic semanticsincompletenessprovability logicwell-foundednesstopological representationarithmetic modal interpretationcondensed spacesfoundational algebrasGödel-Henkin systemGödel-Löb systemKripke relational semanticsrepresentation theorems for diagonal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Other algebras related to logic (03G25) Relative consistency and interpretations (03F25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Stone spaces (Boolean spaces) and related structures (06E15)

Recommendations

• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 16407
• Provability logic—a short introduction

Cited in

(14)

• scientific article; zbMATH DE number 4150121 (Why is no real title available?)
• scientific article; zbMATH DE number 16407 (Why is no real title available?)
• scientific article; zbMATH DE number 794271 (Why is no real title available?)
• Around provability logic
• Symbolic Representations of the Post-apartheid University
• Free algebras for Gödel-Löb provability logic
• Global neighbourhood completeness of the Gödel-Löb provability logic
• Gödel algebras: interactive dualities and their applications.
• Solovay's completeness without fixed points
• On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
• An incomplete system of modal logic
• scientific article; zbMATH DE number 3933033 (Why is no real title available?)
• Gödel Homomorphisms as Gödel Modal Operators
• The variety of modal weak Gödel algebras

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 Q4890178)