Pages that link to "Item:Q2317515"
From MaRDI portal
The following pages link to Swap structures semantics for Ivlev-like modal logics (Q2317515):
Displaying 5 items.
- An unexpected Boolean connective (Q2169126) (← links)
- Non-deterministic algebraization of logics by swap structures1 (Q3386911) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Modal logic with non-deterministic semantics: Part I—Propositional case (Q5082324) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)