Toward a theory of second-order consequence

DOI10.1305/ndjfl/1022615612zbMath1007.03044OpenAlexW2140935379MaRDI QIDQ701293

Agustín Rayo, Gabriel Uzquiano

Publication date: 23 October 2002

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1022615612

zbMATH Keywords

monadic second-order logiclogical consequencesecond-order language of set theory

Mathematics Subject Classification ID

Related Items (12)

Non-classical metatheory for non-classical logics ⋮ Tarski's staggering existential assumptions ⋮ Bicontextualism ⋮ Substitutional validity for modal logic ⋮ On the Innocence and Determinacy of Plural Quantification ⋮ Absolute Generality and Semantic Pessimism ⋮ Modal metatheory for quantified modal logic, with and without the Barcan formulas ⋮ The logic of finite order ⋮ The logic and meaning of plurals. II ⋮ Plurals and mereology ⋮ Somehow things do not relate: on the interpretation of polyadic second-order logic ⋮ Bad company generalized

Cites Work

• Principles of reflection and second-order logic
• Nominalism Through De‐Nominalization
• Speaking of Everything
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Toward a theory of second-order consequence