Pages that link to "Item:Q1224086"
From MaRDI portal
The following pages link to An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics (Q1224086):
Displaying 7 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
