The following pages link to (Q4018076):
Displaying 9 items.
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Reflexive-insensitive modal logics (Q2804478) (← links)
- Modal logic and the approximation induction principle (Q2883116) (← links)
- Formalised Inductive Reasoning in the Logic of Bunched Implications (Q3611996) (← links)
- (Q4440562) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- (Q4935403) (← links)
- On Linear Logic of Knowledge and Time (Q5214743) (← links)
- (Q5541280) (← links)