Infinitary combinatorics and modal logic

DOI10.2307/2274663MaRDI QIDQ3476788zbMATH OpenOpenAlexFDO

Authors Andreas Blass

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274663

zbMATH Keywords

club filtersend-segment filtersineffable filtersinterpretations using filters on ordinal numbersJensen's principleMahlo cardinalmodal propositional logic G

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other combinatorial set theory (03E05) Inner models, including constructibility, ordinal definability, and core models (03E45) Relative consistency and interpretations (03F25)

Recommendations

• A model existence theorem in infinitary propositional modal logic
• Ordinal completeness of bimodal provability logic GLB
• 1-consistency and the diamond
• An incomplete system of modal logic
• Infinitary propositional normal modal logic

Cites work

• A completeness theorem in modal logic
• Patching ideal families and enforcing reflection
• Provability interpretations of modal logic
• Self-reference and modal logic
• Some exact equiconsistency results in set theory
• Strong axioms of infinity and elementary embeddings
• The fine structure of the constructible hierarchy

Cited in

(27)

• Arrow logic and infinite counting
• Topological structure of diagonalizable algebras and corresponding logical properties of theories
• The polytopologies of transfinite provability logic
• Tree-like constructions in topology and modal logic
• Ultrafilters in reverse mathematics
• NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
• Alternative semantics for Visser's propositional logics
• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• scientific article; zbMATH DE number 1163986 (Why is no real title available?)
• scientific article; zbMATH DE number 2024635 (Why is no real title available?)
• scientific article; zbMATH DE number 1512890 (Why is no real title available?)
• Foreword to the special issue dedicated to the memory of Leo Esakia
• CAN MODALITIES SAVE NAIVE SET THEORY?
• Derived topologies on ordinals and stationary reflection
• Strong completeness of provability logic for ordinal spaces
• Topological interpretations of provability logic
• The modal logic of forcing
• scientific article; zbMATH DE number 3265727 (Why is no real title available?)
• Intuitionistic logic and modality via topology
• 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
• On Shehtman's two problems
• Exponential lower bounds on definable fixed points
• Some results on modal axiomatization and definability for topological spaces
• Scattered and hereditarily irresolvable spaces in modal logic

This page was built for publication: Infinitary combinatorics and modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3476788)