e-space
Manchester Metropolitan University's Research Repository

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

Full text not available from this repository.

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.

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
131Hits

Additional statistics for this dataset are available via IRStats2.

Actions (login required)

Edit Item Edit Item