Merging frameworks for interaction: DEL and ETL

ABSTRACT

Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [5]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [13]), STIT (Belnap et al. [4]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up.

REFERENCES

• 1: Samson Abramsky , Radha Jagadeesan, Games and full completeness for multiplicative linear logic, Journal of Symbolic Logic, v.59 n.2, p.543-574, June 1994 [doi>10.2307/2275407]
• 2: Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., and de Lima, T. What can we achieve by arbitrary announcements? Unpublished manuscript, Toulouse, 2007.
• 3: Alexandru Baltag , Lawrence S. Moss , Slawomir Solecki, The logic of public announcements, common knowledge, and private suspicions, Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, July 22-24, 1998, Evanston, Illinois
• 4: Belnap, N., Perloff, M., and Xu, M. Facing the Future. Oxford University Press, 2001.
• 5: Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi , Yoram Moses, Reasoning about knowledge, MIT Press, Cambridge, MA, 1995
• 6: Gerbrandy, J. Bisimulations on Planet Kripke. PhD thesis, ILLC, 1999.
• 7: Joseph Y. Halpern , Ron vander Meyden , Moshe Y. Vardi, Complete Axiomatizations for Reasoning about Knowledge and Time, SIAM Journal on Computing, v.33 n.3, p.674-703, 2004 [doi>10.1137/S0097539797320906]
• 8: Joseph Y. Halpern , Moshe Y. Vardi, The complexity of reasoning about knowledge and time. I. lower bounds, Journal of Computer and System Sciences, v.38 n.1, p.195-237, February 1989 [doi>10.1016/0022-0000(89)90039-1]
• 9: Hodkinson, I., and Reynolds, M. Temporal logic. In Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter, Eds. Elsevier, Amsterdam, 2006.
• 10: Miller, J., and Moss, L. The undecidability of iterated modal relativization. Studia Logica 79, 3 (2005).
• 11: Pacuit, E. Some comments on history based structures. Journal of Applied Logic (forthcoming, 2007).
• 12: Pacuit, E., and Parikh, R. Reasoning about communication graphs. In Interactive Logic, Proceedings of the 7th Augustus de Morgan Workshop, J. van Benthem, D. Gabbay, and B. Löwe, Eds. King's College Press, Forthcoming, 2007.
• 13: Rohit Parikh , Ramaswamy Ramanujam, A Knowledge Based Semantics of Messages, Journal of Logic, Language and Information, v.12 n.4, p.453-467, Fall 2003 [doi>10.1023/A:1025007018583]
• 14: Plaza, J. Logics of public communications. In Proceedings, 4th International Symposium on Methodolgies for Intelligent Systems (1989).
• 15: van Benthem, J. Games in dynamic epistemic logic. Games and Economic Behaviour (2001).
• 16: van Benthem, J. One is a lonely number: on the logic of communication. In Logic Colloquium '02, Z. Chatzidakis, P. Koepke, and W. Pohlers, Eds. ASL & A. K. Peters, 2006.
• 17: van Benthem, J. Dynamic logic for belief change. Journal of Applied Non-Classical Logics (To appear).
• 18: van Benthem, J., Gerbrandy, J., and Pacuit, E. Merging frameworks for interaction: Del and etl. Tech. rep., ILLC, University of Amsterdam, 2007.
• 19: van Benthem, J., and Liu, F. Diversity of logical agents in games. Philosophia Scientiae 8, 2 (2004), 163--178.
• 20: van Benthem, J., and Pacuit, E. The tree of knowledge in action: Towards a common perspective. In Proceedings of Advances in Modal Logic Volume 6, G. Governatori, I. Hodkinson, and Y. Venema, Eds. King's College Press, 2006.
• 21: Johan van Benthem , Jan van Eijck , Barteld Kooi, Logics of communication and change, Information and Computation, v.204 n.11, p.1620-1662, November 2006 [doi>10.1016/j.jc.2006.04.006]