Combining time and knowledge, semantic approach

Calardo, Erica and Rybakov, Vladimir V. (2005) Combining time and knowledge, semantic approach. Bulletin of the section of logic, 34 (1). pp. 13-22. ISSN 0138-0680

File not available for download.

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.

Item Type:	Article
Peer-reviewed:	No
Date Deposited:	09 Apr 2010 13:38
Publisher:	Uniwersytet Lodzki, Wydzial Logiki
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 > Science and Engineering
URI:	https://e-space.mmu.ac.uk/id/eprint/96167
ISSN	0138-0680

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

233Hits

Additional statistics for this dataset are available via IRStats2.

Repository staff only

Edit record