Higher-order metaphysics

MaRDI QIDQ6961786zbMATH OpenFDO

Authors

Publication date 10 July 2025

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Higher-order logic (03B16) Type theory (03B38)

Cited in

(7)

• Propositional contingentism and possible worlds
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• Necessity in the highest degree
• Finitary upper logicism
• Higher-order essences: logic and semantics
• The algebra of logical atomism
• Simply-typed constant-domain modal lambda calculus. I: Distanced beta reduction and combinatory logic

This page was built for publication: Higher-order metaphysics

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