Substance and first-order quantification over individual-concepts

DOI10.2307/2273182zbMath0432.03014OpenAlexW2137233516MaRDI QIDQ3869325

John Bacon

Publication date: 1980

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

Full work available at URL: https://doi.org/10.2307/2273182

zbMATH Keywords

unaxiomatizable system of quantified S4-modal logic

Mathematics Subject Classification ID

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

Related Items (2)

CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ A model-theoretic criterion of ontology

Cites Work

• Unnamed Item
• Investigations into quantified modal logic. I
• The monadic theory of order
• Philosophical problems in logic. Some recent developments
• Classes and change
• Notes on free description theory: Some philosophical issues and consequences
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)

This page was built for publication: Substance and first-order quantification over individual-concepts