The following pages link to Restricted Classical Modal Logics (Q5437000):
Displaying 5 items.
- Modal logics in the vicinity of S1 (Q1924324) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- Restricted normal modal logics and levelled possible worlds semantics (Q2937690) (← links)
- Classical logic as limit completion (Q4657754) (← links)