The following pages link to Propositional lax logic (Q1368378):
Displaying 11 items.
- An intuitionistic reformulation of Mally's deontic logic (Q373016) (← links)
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Cooper storage idiom (Q1711505) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Fibrational modal type theory (Q1744413) (← links)
