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

Authors:
A. Burrieza;I. P. De Guzmán;E. Muñoz-Velasco
Affiliations:
Department Filosofí a, Universidad de Málaga, Spain;Department Matemática Aplicada, Universidad de Málaga, Spain;Department Matemática Aplicada, Universidad de Málaga, Spain
Venue:
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
Year:
2008

Citing 12
Cited 0

Reasoning about knowledge and time in asynchronous systems

STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Using temporal logic to support the specification and prototyping of interactive control systems

International Journal of Man-Machine Studies
Logics for specifying concurrent information systems

Logics for databases and information systems
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Applied Intelligence
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Locally linear time temporal logic

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Indexed Flows in Temporal × Modal Logic with Functional Semantics

TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
Distributed States Logic

TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
A modal logic for mobile agents

ACM Transactions on Computational Logic (TOCL)
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

Annals of Mathematics and Artificial Intelligence
MAT logic: a temporal×modal logic with non-deterministic operators to deal with interactive systems in communication technologies

IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.