The Logic of Hyperlogic. Part B: Extensions and Restrictions

Review of Symbolic Logic:1-28 (forthcoming)
  Copy   BIBTEX

Abstract

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched with hyperintensional operators such as counterfactual conditionals and belief operators.

Author's Profile

Alexander W. Kocurek
Cornell University

Analytics

Added to PP
2022-10-12

Downloads
75 (#63,812)

6 months
75 (#13,899)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?