التفاصيل البيبلوغرافية
| العنوان: |
Which classical correspondence is valid in intuitionistic modal logic? |
| المؤلفون: |
Kojima, Kensuke1 |
| المصدر: |
Logic Journal of the IGPL. Feb2012, Vol. 20 Issue 1, p331-348. 18p. |
| مصطلحات موضوعية: |
*LOGIC, MODAL logic, SEMANTICS, AXIOMS, ROBUST control |
| مستخلص: |
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. [ABSTRACT FROM PUBLISHER] |
|
Copyright of Logic Journal of the IGPL is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Business Source Index |
