|
|||||
|
|
Decidability results in non-classical logic. III |
|
| Authors: | Dov M Gabbay |
| Institution: | (1) The Hebrew University of Jerusalem, Israel |
| Abstract: | A Kripke type semantics is given to a large class of tense logics with statability operators (including PriorsQK t) in such a manner as to obtain their decidability using Rabin’s theorem. Dedicated to the Memory of A. N. Prior |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |