MAT logic: a temporal×modal logic with non-deterministic operators to deal with interactive systems in communication technologies

  • Authors:
  • Gabriel Aguilera;Alfredo Burrieza;Pablo Cordero;Inmaculada P. de Guzmán;Emilo Muñoz

  • Affiliations:
  • Departamento de Matemática Aplicada;Departamento de Filosofía, Universidad de Málaga, Spain;Departamento de Matemática Aplicada;Departamento de Matemática Aplicada;Departamento de Matemática Aplicada

  • Venue:
  • 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
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, the Multi-flow Asynchronous Temporal Logic, called MAT Logic, is presented. MAT Logic is a new temporal×modal logic with non-deterministic operators among time flows as accessibility relations. The main goal of this work has been the design and description of a logic that could be capable of managing communications among systems with not necessarily synchronizable time flows. In order to better understand the design of the logic, an example in the field of communications is given.