THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS

DOI10.1017/S1755020322000193MaRDI QIDQ6131233zbMATH OpenOpenAlexFDO

Authors Alexander W. Kocurek

Publication date 4 April 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

hybrid logicpropositional quantifiershyperintensionalityhyperlogicmetalogical claims

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 1252393 (Why is no real title available?)
• scientific article; zbMATH DE number 589747 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• A cut-free simple sequent calculus for modal logic S5
• A dynamic solution to the problem of logical omniscience
• CLASSICAL COUNTERPOSSIBLES
• Counterlogicals as counterconventionals
• Counterpossibles for modal normativists
• Cut-free double sequent calculus for S5
• Display logic
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Hyperintensional logics for everyone
• Hyperintensional propositions
• Hyperintensional semantics: a Fregean approach
• Impossible worlds and logical omniscience: an impossibility result
• Impossible worlds: A modest approach
• Intuitionistic hybrid logic
• Possible Worlds
• Propositional quantifiers in modal logic1
• Remarks on counterpossibles
• Semantics for counterpossibles
• Some new thoughts on conditionals
• Structures and circumstances: two ways to fine-grain propositions
• The elimination theorem when modality is present
• The fundamental problem of logical omniscience
• Who's afraid of impossible worlds?
• Why propositions cannot be sets of truth-supporting circumstances
• Williamson on counterpossibles

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

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