|Title: ||Combining time and knowledge, semantic approach|
|Citation: ||Bulletin of the section of logic, 2005, vol. 34, no. 1, pp. 13-22|
|Publisher: ||Uniwersytet Lodzki, Wydzial Logiki|
|Issue Date: ||2005 |
|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.|
|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.|
|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.