The broadest necessity

DOI10.1007/s10992-017-9447-9zbMath1457.03038OpenAlexW2762302892MaRDI QIDQ1633208

Andrew Bacon

Publication date: 19 December 2018

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

Full work available at URL: https://doi.org/10.1007/s10992-017-9447-9

zbMATH Keywords

modalityhigher-order logicintensionalitynecessityS4propositional identitybroad necessity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Higher-order logic (03B16)

Related Items

Essence and necessity ⋮ Relative necessity and propositional quantification ⋮ Mathematical modality: an investigation in higher-order logic ⋮ Metaphysical and absolute possibility ⋮ Substitution structures ⋮ Arithmetic is determinate ⋮ A theory of necessities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• Principles of reflection and second-order logic
• Vagueness, truth and logic
• Remarks on counterpossibles
• Identity connective and modality
• A completeness theorem in modal logic
• Vagueness and Thought
• Diamonds are Forever
• Indeterminacy, Degree of Belief, and Excluded Middle
• Modal Logic as Metaphysics
• Modal Logics Between S 4 and S 5
• Completeness in the theory of types
• Extensions of the Lewis system S5
• A Functional calculus of first order based on strict implication
• The Construction of Logical Space