The following pages link to (Q4835615):
Displaying 6 items.
- Aristotle's Thesis between paraconsistency and modalization (Q1775867) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Modal Operators over Constructive Logic (Q3549311) (← links)
- Contenability and the Logic of Consequential Implication (Q4656553) (← links)
- (Q4690170) (← links)
- Immediate consequences operator on generalized quantifiers (Q6083146) (← links)