يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Kojima, Kensuke"', وقت الاستعلام: 0.77s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Which classical correspondence is valid in intuitionistic modal logic?

    المؤلفون: Kojima, Kensuke

    المساهمون: 小島, 健介, 30857686

    مصطلحات موضوعية: Intuitionistic modal logic, Kripke semantics, birelational Kripke frames, correspondence theory

    وصف الملف: application/pdf

    العلاقة: http://hdl.handle.net/2433/166077Test; AA11556140; Logic Journal of IGPL; 20; 331; 348

    الإتاحة: http://hdl.handle.net/2433/166077Test

    View record in BASE

    أضف إلى المفضلة
  2. 2
    رسالة جامعية
    Semantical study of intuitionistic modal logics ; 直観主義様相論理の意味論的研究

    المؤلفون: Kojima, Kensuke

    المساهمون: 佐藤, 雅彦, 山本, 章博, 五十嵐, 淳, 小島, 健介, コジマ, ケンスケ

    الوقت: 007

    وصف الملف: application/pdf

    العلاقة: http://hdl.handle.net/2433/157473Test; 14301

    الإتاحة: http://hdl.handle.net/2433/157473Test

    View record in BASE

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث