MMU Home | Prospectus | About MMU | A-Z Index | Contacts 
 


mmuch more
 
Search:
bullet
Browse
Collection All
bullet
bullet
bullet
bullet
bullet
Listed communities
bullet
bullet
bullet
bullet

espace at MMU > Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology > Combining time and knowledge, semantic approach

Please use this identifier to cite or link to this item: http://hdl.handle.net/2173/96167
    Del.icio.us     LinkedIn     Citeulike     Connotea     Facebook     Stumble it!

SFX Query

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, Mathematics & Digital Technology

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.

 

OR Logo Powered by Open Repository | Cookies
Valid XHTML 1.0!