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

DOI10.1007/BF00250614zbMATH Open0646.03016OpenAlexW2008069662MaRDI QIDQ1103608FDOQ1103608

Authors: 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

Recommendations

• scientific article; zbMATH DE number 4053583
• The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• Classification theory and the number of non-isomorphic models.
• Decompositions of saturated models of stable theories

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)

Cited In (2)

• Title not available (Why is that?)
• The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap

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

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