All finitely axiomatizable subframe logics containing the provability logic CSM_{0} are decidable |
| |
Authors: | Frank Wolter |
| |
Institution: | (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 等数据库收录! |
|