Pages that link to "Item:Q3476788"
From MaRDI portal
The following pages link to Infinitary combinatorics and modal logic (Q3476788):
Displayed 19 items.
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Scattered and hereditarily irresolvable spaces in modal logic (Q964455) (← links)
- Topological structure of diagonalizable algebras and corresponding logical properties of theories (Q1903132) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- The modal logic of forcing (Q5437615) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
- COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES (Q6123584) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)