Pages that link to "Item:Q1115854"
From MaRDI portal
The following pages link to Some modal logics based on a three-valued logic (Q1115854):
Displayed 6 items.
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation (Q1302220) (← links)
- Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems (Q1409305) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)