scientific article; zbMATH DE number 915329

MaRDI QIDQ4890178zbMATH OpenFDO

Authors Jacek Hawranek

Publication date 5 December 1996

zbMATH Keywords

algebraic semanticsarithmetic modal interpretationcompletenesscondensed spacesfoundational algebrasGödel-Henkin systemGödel-Löb systemincompletenessKripke relational semanticsmodal logicprovability logicrepresentation theorems for diagonal algebrasscattered spacestopological representationtranslationwell-foundedness

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(14)

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