Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes |
| |
Authors: | Bart Van Kerkhove Guido Vanackere |
| |
Affiliation: | (1) School of Information Science, Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa, 923-1292, Japan |
| |
Abstract: | Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem. |
| |
Keywords: | relevant modal logic Routley-Meyer semantics completeness Sahlqvist theorem |
本文献已被 SpringerLink 等数据库收录! |