Switch to: References

Add citations

You must login to add citations.
  1. The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - 2022 - Review of Symbolic Logic:1-28.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation