Pages that link to "Item:Q2004955"
From MaRDI portal
The following pages link to Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955):
Displaying 7 items.
- A four-valued hybrid logic with non-dual modal operators (Q777885) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- (Q3469085) (← links)
- (Q5169613) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)