On decidable,finitely axiomatizable,modal and tense logics without the finite model property Part II |
| |
Authors: | Dov M Gabbay |
| |
Institution: | (1) The Hebrew University of Jerusalem, Israel;(2) Stanford University, Stanford, California |
| |
Abstract: | This paper is a continuation of Part I. A decidable extension of model K4 that lacks the finite model property is described.
It is not known whether there are extensions of B that are decidable and lack the finite model property. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|