The following pages link to (Q3973061):
Displaying 11 items.
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← 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)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← 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)