On the size of refutation Kripke models for some linear modal and tense logics |
| |
Authors: | Hiroakira Ono Akira Nakamura |
| |
Institution: | (1) Faculty of Integrated arts and Sciences, Hiroshima University, Hiroshima, Japan;(2) Department of Applied Mathematics, Hiroshima University, Hiroshima, Japan |
| |
Abstract: | LetL be any modal or tense logic with the finite model property. For eachm, definer
L
(m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr
L
determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr
L
(m) for some linear modal and tense logicsL. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|