|
|||||
|
|
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property |
|
| Authors: | Hodkinson Ian |
| Affiliation: | (1) Department of Computing Imperial College, London, SW7 2BZ, UK |
| Abstract: | We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal predicate logic and algebraic logic. |
| Keywords: | finite structures modal logic modal fragment packed fragment clique-guarded fragment Herwig theorem |
| 本文献已被 SpringerLink 等数据库收录！ | |