Combining time and knowledge, semantic approach

Calardo, Erica and Rybakov, Vladimir V. (2005) Combining time and knowledge, semantic approach. 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.

Item Type: Article
Additional Information: Citation: Bulletin of the section of logic, 2005, vol. 34, no. 1, pp. 13-22.
Divisions: Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology
Date Deposited: 09 Apr 2010 13:38
Last Modified: 20 Jul 2016 01:19
URI: http://e-space.mmu.ac.uk/id/eprint/96167

Actions (login required)

Edit Item Edit Item