| Title: | Combining time and knowledge, semantic approach |
| Authors: | Calardo, Erica
Rybakov, Vladimir V. |
| Citation: | Bulletin of the section of logic, 2005, vol. 34, no. 1, pp. 13-22 |
| Publisher: | Uniwersytet Lodzki, Wydzial Logiki |
| Issue Date: | 2005 |
| URI: | http://hdl.handle.net/2173/96167 |
| Additional Links: | http://www.filozof.uni.lodz.pl/bulletin |
| Abstract: | The paper investigates a semantic approach for combining knowledge and time. We introduce a multi-modal logic LF containing modalities for knowledge and time in a semantic way, as the set of all F-valid formulae for a class of special frames F. The main result of our paper is the theorem stating that LTK is decidable and giving a resolving algorithm. The result is proven by using standard tools: filtration, bulldozing and contracting p-morphisms. |
| Type: | Article |
| Language: | en |
| Description: | Full-text of this article is not available in this e-prints service. This article was originally published following peer-review in Bulletin of the Section of Logic, published by and copyright Uniwersytet Lodzki, Wydzial Logiki. |
| ISSN: | 0138-0680 |
| Appears in Collections: | Department of Computing and Mathematics
|
| Files in This Item: |
There are no files associated with this item. |
|
All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.
Del.icio.us
LinkedIn
Citeulike
Connotea
Facebook
Stumble it!
