Pages that link to "Item:Q5255799"
From MaRDI portal
The following pages link to Derivational Modal Logics with the Difference Modality (Q5255799):
Displaying 7 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- A topological approach to full belief (Q2421518) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)
