Functional systems in the context of temporal×modal logics with indexed flows

References

• Ancona , D. and Mascardi , V. 2003 . Coo-bdi: Extending the bdi model with cooperativity , Vol. 2990 , 109 – 134 . Springer . Lecture Notes in Computer Science
   Google Scholar
• Bennett , B. , Dixon , C. , Fisher , M. , Ullrich Hustadt , H. , Franconi , E. , Horrocks , I. and de Rijke , M. 2002 . Combinations of modal logics . Artif. Intell. Rev. , 17 ( 1 ) : 1 – 20 .
   Web of Science ®Google Scholar
• Blackburn , P. , de Rijke , M. and Venema , Y. 2001 . Modal Logic , Cambridge : Cambridge University Press .
   Google Scholar
• Burgess , J. P. 1984 . “ Basic tense logic ” . In Handbook of Philosophical Logic, vol 2: Extensions of Classical Logic , Edited by: Gabbay , D. and Guenthner , F. 89 – 133 . Dorchecht : 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
• Burrieza , A. , de Guzmán , I. P. and Muñoz , E. Indexed flows in temporal × modal logic with functional semantics . Proceedings of Ninth International Symposium on Temporal Representation and Reasoning (TIME 02) . pp. 146 – 153 . Los Alamitos, CA, , USA : IEEE Computer Society .
   Google Scholar
• Burrieza , A. , de Guzmán , I. P. and Muñoz , E. 2008 . Generalization of some properties of relations in the context of functional temporal × modal logic . Int. J. Comput. Math. , 85 ( 3–4 ) : 371 – 383 .
   Web of Science ®Google Scholar
• Burrieza , A. , de Guzmán , I. P. and Muñoz , E. 2008 . Analyzing completeness of axiomatic functional systems for temporal×modal logics . Tech. Rep. , http://www.matap.uma.es/~emilio/BuPGMVtechrep08.pdf
   Google Scholar
• Dixon , C. , Fernández Gago , M. C. , Fisher , M. and van der Hoek , W. 2007 . Temporal Logics of Knowledge and their Applications in Security . Electron. Notes Theoret. Comput. Sci. , 186 : 27 – 42 .
   Google Scholar
• Engelfriet , J. , Jonker , C. M. and Treur , J. 2002 . Compositional verification of multi-agent systems in temporal multi-epistemic logic . J. Logic, Language Inform. , 11 ( 2 ) : 195 – 225 .
   Google Scholar
• Gabbay , D. M. , Kurucz , F. , Wolter , F. and Zakharyaschev , M. 2003 . “ Many-dimensional modal logics: theory and applications ” . In Studies in Logic and the Foundations of Mathematics , Vol. 148 , Elsevier .
   Google Scholar
• Lamport , L. 1978 . Time, Clocks and the Ordering of Events in a Distributed System . Commun. ACM , 21 ( 7 ) : 558 – 565 .
   Web of Science ®Google Scholar
• Lomuscio , A. and Raimondi , F. 2007 . Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams . J. Appl. Logic , 5 ( 2 ) : 235 – 251 .
   Google Scholar
• Montangero , C. and Semini , L. Distributed States Logic . Proceedings Ninth International Symposium on Temporal Representation and Reasoning (TIME'02) , pp. 55 – 57 .
   Google Scholar
• Morales , A. , Navarrete , I. and Sciavicco , G. 2007 . Using temporal logic for spatial reasoning: temporalized propositional neighborhood logic . 4739 : 313 – 320 . Lecture Notes in Computer Science
   Google Scholar
• Parik , R. and Ramanujan , R. 2003 . A knowledge based semantics of messages . J. Logic, Language Inform. , 12 ( 4 ) : 453 – 467 .
   Google Scholar
• Rao , A. S. and Georgeff , M. P. BDI agents: from theory to practice . Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95) , pp. 312 – 319 .
   Google Scholar
• Reif , J. and Sistla , A. 1985 . A multiprocess network logic with temporal and spatial modalities . J. Comput. System Sci. , 30 : 41 – 53 .
   Google Scholar
• Schobbens , P. Y. 2004 . Alternating-time temporal logic with imperfect recall . Electronic Notes in Theoret. Comput. Sci. , : 82 – 83 .
   Google Scholar
• Thomason , R. H. 1984 . “ Combinations of tense and modality ” . In Handbook of Philosophical Logic, Vol.2: Extensions of Classical Logic , Edited by: Gabbay , D. and Guenthner , F. 135 – 165 . Dordrecht : Reidel .
   Google Scholar