Higher-order logic and disquotational truth

DOI10.1007/s10992-022-09654-8OpenAlexW4229335084MaRDI QIDQ2155943

Lavinia Picollo, Thomas Schindler

Publication date: 15 July 2022

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

Full work available at URL: https://doi.org/10.1007/s10992-022-09654-8

zbMATH Keywords

truthdisquotationtheoretical equivalencehigher-order quantificationsentential quantification

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some notes on truths and comprehension
• Proof theory. 2nd ed
• An axiomatic approach to self-referential truth
• Truth and reduction
• Disquotation and infinite conjunctions
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• Reflecting on incompleteness
• Propositional quantifiers in modal logic1
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
• Truth via anaphorically unrestricted quantifiers

This page was built for publication: Higher-order logic and disquotational truth