scientific article; zbMATH DE number 915329

zbMath0852.03026MaRDI QIDQ4890178

Jacek Hawranek

Publication date: 5 December 1996

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

zbMATH Keywords

modal logiccompletenesstopological representationtranslationalgebraic semanticsprovability logicscattered spacesincompletenesswell-foundednessarithmetic 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) Stone spaces (Boolean spaces) and related structures (06E15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Relative consistency and interpretations (03F25)

This page was built for publication: