Unifying quantified modal logic

DOI10.1007/s10992-005-3664-3zbMath1105.03019OpenAlexW2015659496MaRDI QIDQ812104

James W. Garson

Publication date: 23 January 2006

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

Full work available at URL: https://doi.org/10.1007/s10992-005-3664-3

zbMATH Keywords

actualist modal logicsconceptual interpretation of quantifiersfree modal logicsemantics for first-order modal logicsequent calculus for first-order modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (4)

First-order classical modal logic ⋮ Quantification in some non-normal modal logics ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First-order intensional logic
• First-order modal logic
• Incompleteness and the Barcan formula
• Philosophical problems in logic. Some recent developments
• A unified completeness theorem for quantified modal logics
• Bare possibilia
• Handbook of philosophical logic. Vol. 2.

This page was built for publication: Unifying quantified modal logic