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.


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


Activity Overview

Additional statistics for this dataset are available via IRStats2.

Actions (login required)

View Item View Item