The broadest necessity

DOI10.1007/S10992-017-9447-9MaRDI QIDQ1633208zbMATH OpenOpenAlexFDO

Authors 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 logicnecessityS4intensionalitypropositional identitybroad necessity

Mathematics Subject Classification ID

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

Recommendations

• Relative necessity extended
• scientific article; zbMATH DE number 1252394
• Relative necessity reformulated
• The modal logic of `all and only'
• Which modal logic is the right one?

Cites work

• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3266580 (Why is no real title available?)
• scientific article; zbMATH DE number 3200651 (Why is no real title available?)
• A Functional calculus of first order based on strict implication
• A completeness theorem in modal logic
• Completeness in the theory of types
• Diamonds are forever
• Extensions of the Lewis system S5
• Identity connective and modality
• Indeterminacy, Degree of Belief, and Excluded Middle
• Modal Logic as Metaphysics
• Modal Logics Between S 4 and S 5
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• Principles of reflection and second-order logic
• Remarks on counterpossibles
• The construction of logical space
• Vagueness and thought
• Vagueness, truth and logic

Cited in

(15)

• Arithmetic is determinate
• Relative necessity and propositional quantification
• Essence and necessity
• Arithmetic is necessary
• Indispensability
• Varieties of Relevant S5
• Mathematical modality: an investigation in higher-order logic
• Relative necessity extended
• Relative necessity extended
• Relative necessity reformulated
• Substitution structures
• Grounding and defining identity
• Metaphysical and absolute possibility
• A theory of necessities
• Narrow-scoping for wide-scopers

This page was built for publication: The broadest necessity

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