The following pages link to Paraconsistent Modal Logics (Q2825416):
Displayed 5 items.
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Implicative twist-structures (Q2449455) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)