Cover semantics for quantified lax logic

DOI10.1093/logcom/exq029zbMath1247.03028MaRDI QIDQ3103978

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

modal logic; first-order intuitionistic logic; lax modality; quantified lax logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68Q60: Specification and verification (program logics, model checking, etc.)

03B20: Subsystems of classical logic (including intuitionistic logic)