Pages that link to "Item:Q2075284"
From MaRDI portal
The following pages link to An incompleteness theorem for modal relevant logics (Q2075284):
Displaying 13 items.
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- The completeness problem for modal logic (Q1709685) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- A Sahlqvist theorem for relevant modal logics (Q1810815) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- An incomplete decidable modal logic (Q3718681) (← links)
- A proof-irrelevant model of Martin-Löf's logical framework (Q4405694) (← links)
- THE LOGIC OF SEQUENCE FRAMES (Q5065138) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)