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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4140 LNAI, Issue , 2006, Pages 602-611

  Aguilera, Gabriel ^a   Burrieza, Alfredo ^a   Cordero, Pablo ^a   De Guzmán, Inmaculada P ^a   Muñoz, Emilo ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; MODAL ANALYSIS; SYNCHRONIZATION;

DETERMINISTIC OPERATORS; MODAL LOGIC; TEMPORAL LOGIC;

FORMAL LOGIC;

EID: 33751357703     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11874850_64     Document Type: Conference Paper

References (21)

1. Davide Ancona and Viviana Mascardi. Coo-bdi: Extending the bdi model with cooperativity. In João Alexandre Leite, Andrea Omicini, Leon Sterling, and Paolo Torroni, editors, DALT, volume 2990 of Lecture Notes in Computer Science, pages 109-134. Springer, 2003.
2. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2001.
3. Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, and Leendert van der Torre. The boid architecture: conflicts between beliefs, obligations, intentions and desires. In AGENTS '01: Proceedings of the fifth international conference on Autonomous agents, pages 9-16, 2001.
4. John P. Burgess. Basic tense logic. In Handbook of philosophical logic, Vol. II, volume 165 of Synthese Lib., pages 89-133. Reidel, Dordrecht, 1984.
5. Alfrede Burrieza and Inmaculada P. de Guzmán. A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. J. Appl. Non-Classical Logics, 2(2):181-200, 1992.
6. Alfrede Burrieza and Inmaculada P. de GuzmÁn. A functional approach for temporal modal logics. Acta Inf., 39(2):71-96, 2003.
7. Alfrede Burrieza, Inmaculada P. de GuzmÁn, and Emilio Muñoz. Indexed flows in temporal x modal logic with functional semantics. In Proceedings Ninth International Symposium on Temporal Representation and Reasoning (TIME'02), pages 146-153, 2002.
8. Rocco De Nicola and Michele Loreti. A modal logic for mobile agents. ACM Trans. Comput. Logic, 5(1):79-128, 2004.
9. Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, and Grit Denker. Logics for specifying concurrent information systems. In Jan Chomicki and Gunter Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer, 1998.
10. A. J. Dix. Formal Methods in Human-Computer interaction. Chapter 4: Nondeterminism as a paradigm for understanding the user interface, pages 97-127. Cambridge University Press, 1990.
11. Joseph Y. Halpern and Moshe Y. Vardi. Reasoning about Knowledge and Time in Asynchronous Systems. ACM: Association for Computer Machinery, pp 53-65. 1988.
12. Chris W. Johnson. Using temporal logic to prototype interactive systems. In Dan Diaper, David J. Gilmore, Gilbert Cockton, and Brian Shackel, editors, INTER-ACT, pages 1019-1020. North-Holland, 1990.
13. Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag, New York, 1992. Specification.
14. Andrea Masini and Andrea Maggiolo-Schettini. Ttl: A formalism to describe local and global properties of distributed systems. Informatique Theorique et Applications, 26:115-162, 1992.
15. Alan Mishchenko and Robert K. Brayton. A theory of non-deterministic networks. In ICCAD, pages 709-717. IEEE Computer Society / ACM, 2003.
16. R. Ramanujam. Locally linear time temporal logic. In LICS, pages 118-127, 1996.
17. Anand S. Rao and Michael P. Georgeff. An abstract architecture for rational agents. In KR, pages 439-449, 1992.
18. Pazhamaneri S. Thiagarajan and Jesper G. Henriksen. Distributed versions of linear time temporal logic: A trace perspective. Lecture Notes in Computer Science, 1492:643-681, 1998.
19. Richmond H. Thomason. Combinations of tense and modality. In Handbook of philosophical logic, Vol. II, volume 165 of Synthese Lib., pages 135-165. Reidel, Dordrecht, 1984.
20. Masaru Tomita. Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems. Kluwer Academic Publishers, Norwell, MA, USA, 1985.
21. Paolo Torroni. Computational logic in multi-agent systems: Recent advances and future directions. Annals of Mathematics and Artificial Intelligence, 42(1-3): 293-305, 2004.