Pages that link to "Item:Q3387898"
From MaRDI portal
The following pages link to On a multilattice analogue of a hypersequent S5 calculus (Q3387898):
Displaying 5 items.
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
