Switch to: References

Add citations

You must login to add citations.
  1. Some Observations on the FGH Theorem.Taishi Kurahashi - 2023 - Studia Logica 111 (5):749-778.
    We investigate the Friedman–Goldfarb–Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem. Secondly, we prove some variations of the FGH theorem with respect to Rosser provability predicates.
    Download  
     
    Export citation  
     
    Bookmark  
  • Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.
    In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic \. Secondly, we introduce a new normal modal logic \ which is a proper extension of \, and prove that there exists a Rosser provability predicate whose provability logic includes \.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
    Download  
     
    Export citation  
     
    Bookmark