Cover semantics for quantified lax logic
From MaRDI portal
Publication:3103978
DOI10.1093/logcom/exq029zbMath1247.03028OpenAlexW1989423435MaRDI QIDQ3103978
Publication date: 19 December 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exq029
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (10)
Modalities in homotopy type theory ⋮ An intuitionistic reformulation of Mally's deontic logic ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Topological models of propositional logic of problems and propositions ⋮ Cover systems for the modalities of linear logic ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ Constructive Modalities with Provability Smack
This page was built for publication: Cover semantics for quantified lax logic
