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

References

• Johnson , C. W. and Harrison , M. D. 1992 . Using temporal logic to support the specification and prototyping of interactive control systems . International Journal of Man-Machine Studies , 37 : 357 – 385 .
   Google Scholar
• Torroni , P. 2004 . Computational logic in multi-agent systems: recent advances and future directions . Annals of Mathematics and Artificial Intelligence , 42 : 293 – 305 .
   Google Scholar
• Rao , A. S. and Georgeff , M. P. 1992 . “ An abstract architecture for rational agents ” . In Knowledge Representation and Reasoning (KR) , 439 – 449 . Cambridge, MA : Morgan Kaufmann .
   Google Scholar
• Reynolds , M. 1997 . A decidable temporal logic of parallelism . Notre Dame Journal of Formal Logic , 38 : 419 – 436 .
   Google Scholar
• De Nicola , R. and Loreti , M. 2004 . A modal logic for mobile agents . ACM Transactions on Computational Logic , 5 : 79 – 128 .
   Google Scholar
• Manna , Z. and Pnueli , A. 1992 . The Temporal Logic of Reactive and Concurrent Systems , New York : Springer-Verlag .
   Google Scholar
• Ramanujam , R. Locally linear time temporal logic . 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96) . Edited by: Clarke , E. M. pp. 118 – 127 .
   Google Scholar
• Ehrich , H.-D. , Caleiro , C. , Sernadas , A. and Denker , G. 1998 . “ Logics for specifying concurrent information systems ” . In Logics for Databases and Information Systems , Edited by: Chomicki , J. and Saake , G. 167 – 198 . Dordrecht : Kluwer .
   Google Scholar
• Thiagarajan , P. S. and Henriksen , J. G. 1998 . Distributed versions of linear time temporal logic: a trace perspective. Lecture Notes in Computer Science , 1492 : 643 – 681 .
   Google Scholar
• Bennett , B. , Cohn , A. G. , Wolter , F. and Zakharyaschev , M. 2002 . Multi-dimensional modal logic as a framework for spatio-temporal reasoning . Applied Intelligence , 17 : 239 – 251 .
   Web of Science ®Google Scholar
• Halpern , J. Y. and Vardi , M. Y. Reasoning about knowledge and time in asynchronous systems . Proceedings of the Twentieth Annual ACM Symposium on Theory of computing . Chicago, Illinois. pp. 53 – 65 .
   Google Scholar
• Montangero , C. and Semini , L. Distributed states logic . Proceedings of the 9th International Symposium on Temporal Representation and Reasoning (TIME’02) . Edited by: Artale , A. and Fisher , M. pp. 55 – 57 .
   Google Scholar
• Thomason , R. H. 1984 . “ Combinations of tense and modality ” . In Handbook of Philosophical Logic, Vol. II, volume 165 of Synthese Library , 135 – 165 . Dordrecht : Reidel .
   Google Scholar
• Burrieza , A. and de Guzmán , I. P. 2003 . A functional approach for temporal modal logics . Acta Informatica , 39 : 71 – 96 .
   Google Scholar
• Blackburn , P. , de Rijke , M. and Venema , Y. 2001 . Cambridge Tracts in Theoretical Computer Science , Vol. 53 , Cambridge : Cambridge University Press . Modal Logic
   Google Scholar
• Aguilera , G. , Burrieza , A. , Cordero , P. , de Guzmán , I. P. and Muñoz , E. 2006 . “ MAT logic: a temporal$ × modal logic with non-deterministic operators to deal with interactive systems in communication technologies ” . In Lecture Notes in Artificial Intelligence , Vol. 4140 , 602 – 611 . Berlin : Springer .
   Google Scholar
• Burrieza , A. , de Guzmán , I. P. and Muñoz , E. 2002 . “ Indexed flows in temporal × modal logic with functional semantics ” . In Proceedings of the 9th International Symposium on Temporal Representation and Reasoning (TIME'02) Edited by: Artale , A. and Fisher , M. 146 – 153 .
   Google Scholar