Models for Priorian second-order logic

MaRDI QIDQ5100005zbMATH OpenFDO

Authors Edwin D. Mares

Publication date 26 August 2022

zbMATH Keywords

Arthur Priormodel theorysecond-order logicsubstitutional quantificationW. V. O. Quine

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Higher-order logic (03B16) Other model constructions (03C30)

Recommendations

• Prior on the semantics of modal and tense logic
• Prior on the logic and the metaphysics of time
• scientific article; zbMATH DE number 1222481
• Second-order logic of paradox
• Meredith, Prior, and the history of possible worlds semantics

Cited in

(1)

• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS

This page was built for publication: Models for Priorian second-order logic

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