Pages that link to "Item:Q3103978"
From MaRDI portal
The following pages link to Cover semantics for quantified lax logic (Q3103978):
Displayed 10 items.
- An intuitionistic reformulation of Mally's deontic logic (Q373016) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Topological models of propositional logic of problems and propositions (Q2688115) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- Cover systems for the modalities of linear logic (Q6201546) (← links)