Pages that link to "Item:Q3580668"
From MaRDI portal
The following pages link to MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668):
Displayed 11 items.
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Retracted article: ``A completeness theorem for continuous predicate modal logic'' (Q2408087) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- (Q4603449) (← links)