Pages that link to "Item:Q558732"
From MaRDI portal
The following pages link to General frames for relevant modal logics (Q558732):
Displaying 21 items.
- Current trends in substructural logics (Q266641) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Generalised \(\mathbf{BK}\)-frames (Q891993) (← links)
- The preservation of coherence (Q1077400) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Halldén completeness for relevant modal logics (Q2354625) (← links)
- Maps and monads for modal frames (Q2433103) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- (Q3509055) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- Modal frame characterization by way of auxiliary modalities (Q4222187) (← links)
- (Q4406631) (← links)
- Formalizing action and change in modal logic I: the frame problem (Q4934812) (← links)
- From Frame Properties to Hypersequent Rules in Modal Logics (Q5271078) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- A hyperintensional logic of non-prime evidence (Q6544540) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- Epistemic logics for relevant reasoners (Q6623818) (← links)
- First-order relevant reasoners in classical worlds (Q6638235) (← links)