Pages that link to "Item:Q1251223"
From MaRDI portal
The following pages link to Possible worlds and many truth values (Q1251223):
Displaying 7 items.
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668) (← links)
- Subformula property in many-valued modal logics (Q4323041) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)