Switch to: References

Add citations

You must login to add citations.
  1. On Rosser's Provability Predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Henkin Sentences and Local Reflection Principles for Rosser Provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
    We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark