يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Kojima, Kensuke"', وقت الاستعلام: 0.91s تنقيح النتائج
  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
    دورية أكاديمية
    RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC.

    المؤلفون: KOJIMA, Kensuke1 kozima@kuis.kyoto-u.ac.jp

    المصدر: Reports on Mathematical Logic. 2012, Issue 47, p87-113. 27p.

    مصطلحات موضوعية: *MODAL logic, *NONCLASSICAL mathematical logic, *KRIPKE semantics, *MATHEMATICAL logic, *MATHEMATICAL models, *SEMANTICS

    النص الكامل

    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Constructive linear-time temporal logic: Proof systems and Kripke semantics

    المؤلفون: Kojima, Kensuke kozima@kuis.kyoto-u.ac.jp, Igarashi, Atsushi1 igarashi@kuis.kyoto-u.ac.jp

    المصدر: Information & Computation. Dec2011, Vol. 209 Issue 12, p1491-1503. 13p.

    مصطلحات موضوعية: *MATHEMATICAL logic, *REASONING, *PROOF theory, *CALCULUS, *NUMERICAL analysis, *SET theory

    النص الكامل

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