Generalization of some properties of relations in the context of functional temporal×modal logic

In this paper, we generalize the definitions of transitivity, reflexivity, symmetry, Euclidean and serial properties of relations in the context of a functional approach for temporal×modal logic. The main result is the proof of definability of these definitions which is obtained by using algebraic c...

Full description

Saved in:
Bibliographic Details
Published in:International journal of computer mathematics 2008-04, Vol.85 (3-4), p.371-383
Main Authors: Burrieza, A., De Guzmán, I. P., Muñoz-Velasco, E.
Format: Article
Language:English
Subjects:
Definability
Logic in computer science
Modal logic
Temporal logic
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we generalize the definitions of transitivity, reflexivity, symmetry, Euclidean and serial properties of relations in the context of a functional approach for temporal×modal logic. The main result is the proof of definability of these definitions which is obtained by using algebraic characterizations. As a consequence, we will have in our temporal×modal context the generalizations of modal logics T, S4, S5, KD45, etc. These new logics will allow us to establish connections among time flows in very different ways, which enables us to carry out different relations among asynchronous systems. Our further research is focused on the construction of logics with these properties and the design of theorem provers for these logics.
ISSN:0020-7160
1029-0265
DOI:10.1080/00207160701210141