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 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.

[1]  Carlo Montangero,et al.  Distributed states logic , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

[2]  Inmaculada Perez de Guzmán,et al.  A functional approach for temporal $\times$ modal logics , 2003, Acta Informatica.

[3]  Paolo Torroni,et al.  Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions , 2004, Annals of Mathematics and Artificial Intelligence.

[4]  J'anos Simon,et al.  Proceedings of the twentieth annual ACM symposium on Theory of computing , 1988, STOC 1988.

[5]  Ramaswamy Ramanujam,et al.  Locally linear time temporal logic , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[6]  Joseph Y. Halpern,et al.  Reasoning about knowledge and time in asynchronous systems , 1988, STOC '88.

[7]  P. S. Thiagarajan,et al.  Distributed Versions of Linear Time Temporal Logic: A Trace Perspective , 1996, Petri Nets.

[8]  Mark Reynolds,et al.  A Decidable Temporal Logic of Parallelism , 1997, Notre Dame J. Formal Log..

[9]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[10]  Rocco De Nicola,et al.  A modal logic for mobile agents , 2004, TOCL.

[11]  R. Thomason.  Combinations of Tense and Modality , 2002 .

[12]  Emilio Muñoz-Velasco,et al.  Indexed flows in temporal /spl times/ modal logic with functional semantics , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

[13]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[14]  Anthony G. Cohn,et al.  Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.

[15]  Amílcar Sernadas,et al.  Logics for Specifying Concurrent Information Systems , 1998, Logics for Databases and Information Systems.

[16]  Emilio Muñoz-Velasco,et al.  MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies , 2006, IBERAMIA-SBIA.

[17]  Michael D. Harrison,et al.  Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems , 1992, Int. J. Man Mach. Stud..