scientific article; zbMATH DE number 915329

zbMATH Open0852.03026MaRDI QIDQ4890178FDOQ4890178

Authors: Jacek Hawranek 

Publication date: 5 December 1996

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

Recommendations

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

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)

Cited In (14)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
• Solovay's completeness without fixed points
• Gödel algebras: interactive dualities and their applications.
• Title not available (Why is that?)
• An incomplete system of modal logic
• 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)