THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS

DOI10.1017/s1755020322000193OpenAlexW4224939669MaRDI QIDQ6131233

Alexander W. Kocurek

Publication date: 4 April 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020322000193

zbMATH Keywords

hybrid logicpropositional quantifiershyperintensionalityhyperlogicmetalogical claims

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16) Combined logics (03B62)

Cites Work

• Hyperintensional propositions
• Why propositions cannot be sets of truth-supporting circumstances
• Who's afraid of impossible worlds?
• Impossible worlds: A modest approach
• Williamson on counterpossibles
• Display logic
• Some new thoughts on conditionals
• A dynamic solution to the problem of logical omniscience
• The fundamental problem of logical omniscience
• Counterlogicals as counterconventionals
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Structures and circumstances: two ways to fine-grain propositions
• Remarks on counterpossibles
• Impossible worlds and logical omniscience: an impossibility result
• Intuitionistic hybrid logic
• Hyperintensional semantics: a Fregean approach
• Hyperintensional logics for everyone
• Counterpossibles for modal normativists
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• Propositional quantifiers in modal logic1
• Cut-free double sequent calculus for S5
• CLASSICAL COUNTERPOSSIBLES
• Possible Worlds
• The elimination theorem when modality is present
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS