Cover semantics for quantified lax logic

DOI10.1093/LOGCOM/EXQ029MaRDI QIDQ3103978zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt

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

zbMATH Keywords

first-order intuitionistic logiclax modalitymodal logicquantified lax logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2079039
• scientific article; zbMATH DE number 2090289
• Propositional lax logic
• A judgmental reconstruction of modal logic
• scientific article; zbMATH DE number 5295711

Cited in

(14)

• A semantic hierarchy for intuitionistic logic
• Topological models of propositional logic of problems and propositions
• An intuitionistic reformulation of Mally's deontic logic
• scientific article; zbMATH DE number 2079039 (Why is no real title available?)
• scientific article; zbMATH DE number 6851910 (Why is no real title available?)
• scientific article; zbMATH DE number 2090289 (Why is no real title available?)
• Modalities in homotopy type theory
• Constructive modalities with provability smack
• Deriving dualities in pointfree topology from Priestley duality
• Cardinality reduction theorem for logics QHC and QH4
• Cover systems for the modalities of linear logic
• Grishin algebras and cover systems for classical bilinear logic
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

This page was built for publication: Cover semantics for quantified lax logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3103978)