Pages that link to "Item:Q3455192"
From MaRDI portal
The following pages link to Alternative Semantics for Visser’s Propositional Logics (Q3455192):
Displaying 3 items.
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)