Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations

DOI10.1007/BF00250614zbMath0646.03016OpenAlexW2008069662MaRDI QIDQ1103608

Harold T. Hodes

Publication date: 1987

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00250614

zbMATH Keywords

model-theoretic semanticsthree-valued semanticsOTOPactual individualssemantics with truth-value gapsprimary modelsshallow superstable theorythree-valued modal logics

Mathematics Subject Classification ID

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

This page was built for publication: Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations