Pages that link to "Item:Q5082324"
From MaRDI portal
The following pages link to Modal logic with non-deterministic semantics: Part I—Propositional case (Q5082324):
Displaying 5 items.
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187871) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
- Plurivaluationism, semantic nondeterminism and communication (Q6623949) (← links)