Calardo, Erica and Rybakov, Vladimir V. (2005) Combining time and knowledge, semantic approach. ISSN 0138-0680Full text not available from this repository.
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.
|Additional Information:||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.|
|Divisions:||Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology|
|Date Deposited:||09 Apr 2010 13:38|
|Last Modified:||01 Sep 2016 14:00|
Actions (login required)