Extensionalizing intensional second-order logic

DOI10.1215/00294527-2835092zbMath1371.03015OpenAlexW2008685607MaRDI QIDQ2345400

Jonathan Payne

Publication date: 22 May 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1427202982

zbMATH Keywords

second-order logicabstractionmodal set theoryplural logic

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Modalising plurals
• On modal logics which enrich first-order S5
• Abstraction and set theory
• Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility
• Mathematics and Bleak House
• First-Order Modal Theories I--Sets

This page was built for publication: Extensionalizing intensional second-order logic