Pages that link to "Item:Q1023054"
From MaRDI portal
The following pages link to Modal languages for topology: expressivity and definability (Q1023054):
Displaying 11 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
