All finitely axiomatizable subframe logics containing the provability logic CSM_{0} are decidable |
| |
Authors: | Frank Wolter |
| |
Affiliation: | (1) JAIST, Tatsunokuchi, Ishikawa 923 - 12, Japan , JP |
| |
Abstract: | In this paper we investigate those extensions of the bimodal provability logic (alias or which are subframe logics, i.e. whose general frames are closed under a certain type of substructures. Most bimodal provability logics are in this class. The main result states that all finitely axiomatizable subframe logics containing are decidable. We note that, as a rule, interesting systems in this class do not have the finite model property and are not even complete with respect to Kripke semantics. Received July 15, 1997 |
| |
Keywords: | Mathematics Subject Classification (1991): 03B45 03B25 |
本文献已被 SpringerLink 等数据库收录! |
|