Toward a theory of second-order consequence

DOI10.1305/NDJFL/1022615612MaRDI QIDQ701293zbMATH OpenOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 51086 (Why is no real title available?)
• scientific article; zbMATH DE number 1195915 (Why is no real title available?)
• scientific article; zbMATH DE number 1550341 (Why is no real title available?)
• Nominalism Through De‐Nominalization
• Principles of reflection and second-order logic
• Speaking of Everything

Cited in

(12)

• Non-classical metatheory for non-classical logics
• Tarski's staggering existential assumptions
• The logic and meaning of plurals. II
• Bicontextualism
• On the innocence and determinacy of plural quantification
• Substitutional validity for modal logic
• Bad company generalized
• Plurals and mereology
• Somehow things do not relate: on the interpretation of polyadic second-order logic
• Absolute generality and semantic pessimism
• 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)