Basic Logic,K4, and Persistence |
| |
Authors: | Ruitenburg Wim |
| |
Institution: | (1) Department of Mathematics, Statistics and Computer Science Marquette University, P.O. Box 1881, Milwaukee, WI 53201, USA |
| |
Abstract: | We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong
persistence over the class of Kripke models with transitive frames and unary persistent predicates.
This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
Keywords: | Basic Logic Bisimulation Kripke Model Persistence |
本文献已被 SpringerLink 等数据库收录! |
|