Toward a theory of second-order consequence

DOI10.1305/NDJFL/1022615612zbMATH Open1007.03044OpenAlexW2140935379MaRDI QIDQ701293FDOQ701293

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

Nonclassical and second-order set theories (03E70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Speaking of Everything
• Nominalism Through De‐Nominalization
• Principles of reflection and second-order logic
• Title not available (Why is that?)

Cited In (12)

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

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

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