التفاصيل البيبلوغرافية
| العنوان: |
Which classical correspondence is valid in intuitionistic modal logic? |
| المؤلفون: |
Kojima, Kensuke |
| المساهمون: |
小島, 健介, 30857686 |
| بيانات النشر: |
Oxford University Press |
| سنة النشر: |
2012 |
| المجموعة: |
Kyoto University Research Information Repository (KURENAI) / 京都大学学術情報リポジトリ |
| مصطلحات موضوعية: |
Intuitionistic modal logic, Kripke semantics, birelational Kripke frames, correspondence theory |
| الوصف: |
Modal logics reason about properties of relational structures, and such properties are often characterized by axioms of modal logics. This connection between properties of relational structures and axioms of modal logics are called correspondence, and has been investigated well in the classical setting. The problem we consider is an intuitionistic version of this correspondence. In particular, this paper considers which part of the correspondence results known in classical setting is true for intuitionistic one. We first define the notion of robustness of axioms so that an axiom is robust if and only if its corresponding properties in classical and intuitionistic semantics are the same. Next we give a syntactically defined class of axioms, and prove that all axioms in this class are robust. This result is an analogue of the classical result by Sahlqvist, and its proof is partly based on a known proof of his theorem. |
| نوع الوثيقة: |
article in journal/newspaper |
| وصف الملف: |
application/pdf |
| اللغة: |
English |
| تدمد: |
1367-0751 |
| العلاقة: |
http://hdl.handle.net/2433/166077Test; AA11556140; Logic Journal of IGPL; 20; 331; 348 |
| الإتاحة: |
http://hdl.handle.net/2433/166077Test |
| حقوق: |
© The Author 2011. Published by Oxford University Press. ; This is not the published version. Please cite only the published version. ; この論文は出版社版でありません。引用の際には出版社版をご確認ご利用ください。 |
| رقم الانضمام: |
edsbas.7B92F403 |
| قاعدة البيانات: |
BASE |
