scientific article; zbMATH DE number 16407

MaRDI QIDQ3973061zbMATH OpenFDO

Authors M. A. Abashidze

Publication date 26 June 1992

zbMATH Keywords

modal logicmodal system \(GL\)ordinal completenessPeano arithmetictopological model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 915329
• On modal systems having arithmetical interpretations
• scientific article; zbMATH DE number 5862929
• Ordinal completeness of bimodal provability logic GLB
• Proof-theoretic modal PA-completeness. I: A system-sequent metric

Cited in

(14)

• The polytopologies of transfinite provability logic
• Ordinal completeness of bimodal provability logic GLB
• NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
• scientific article; zbMATH DE number 1223615 (Why is no real title available?)
• Foreword to the special issue dedicated to the memory of Leo Esakia
• scientific article; zbMATH DE number 915329 (Why is no real title available?)
• Strong completeness of provability logic for ordinal spaces
• Topological interpretations of provability logic
• A topological completeness theorem for transfinite provability logic
• COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES
• TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES
• The d-logic of the rational numbers: a fruitful construction
• Some results on modal axiomatization and definability for topological spaces
• Scattered and hereditarily irresolvable spaces in modal logic

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