Search results for 'Hirohiko Kushida' (try it on Scholar)

7 found
Sort by:
  1. Hirohiko Kushida (2010). The Modal Logic of Gödel Sentences. Journal of Philosophical Logic 39 (5):577 - 590.score: 240.0
    The modal logic of Gödel sentences, termed as GS, is introduced to analyze the logical properties of 'true but unprovable' sentences in formal arithmetic. The logic GS is, in a sense, dual to Grzegorczyk's Logic, where modality can be interpreted as 'true and provable'. As we show, GS and Grzegorczyk's Logic are, in fact, mutually embeddable. We prove Kripke completeness and arithmetical completeness for GS. GS is also an extended system of the logic of 'Essence and Accident' proposed by Marcos (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Hirohiko Kushida (2005). Applicability of Motohashi's Method to Modal Logics. Bulletin of the Section of Logic 34 (3):121-134.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.score: 30.0
    It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1):35-61.score: 30.0
    In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Magoichi Kushida (1952). Jinsei Ni Tsuite.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  6. Mara Miller (2014). Agency, Identity, and Aesthetic Experience in Three Post-Atomic Japanese Narratives: Yasunari Kawabata’s The Sound of the Mountain, Rio Kushida’s Thread Hell, and the Anime Film Barefoot Gen. In Nguyen Minh (ed.), New Essays in Japanese Aesthetics. Lexington Books.score: 15.0
    Since World War II Japanese artists have employed two seemingly contradictory ways of working, using aesthetics, materials, artistic methods technologies, and approaches that are either radically innovative and wildly experimental, or traditional/classical. Many other artists, however, in a move that seems paradoxical. have combined the two to explore the new themes of the post-atomic period. Three narrative works dealing with the effects of the World War II war effort and the atomic bombings that ended them, Yasunari Kawabata’s novel The Sound (...)
     
    My bibliography  
     
    Export citation  
  7. Mark Sheehan, Claire Timlin, Ken Peach, Ariella Binik, Wilson Puthenparampil, Mark Lodge, Sean Kehoe, Michael Brada, Neil Burnet, Steve Clarke, Adrian Crellin, Michael Dunn, Piero Fossati, Steve Harris, Michael Hocken, Tony Hope, Jonathan Ives, Tadashi Kamada, Alex John London, Robert Miller, Michael Parker, Madelon Pijls-Johannesma, Julian Savulescu, Susan Short, Loane Skene, Hirohiko Tsujii, Jeffrey Tuan & Charles Weijer (forthcoming). Position Statement on Ethics, Equipoise and Research on Charged Particle Radiation Therapy. Journal of Medical Ethics:2012-101290.score: 3.0
    The use of charged-particle radiation therapy (CPRT) is an increasingly important development in the treatment of cancer. One of the most pressing controversies about the use of this technology is whether randomised controlled trials are required before this form of treatment can be considered to be the treatment of choice for a wide range of indications. Equipoise is the key ethical concept in determining which research studies are justified. However, there is a good deal of disagreement about how this concept (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation