The following pages link to (Q5411417):
Displaying 5 items.
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)