Some comments on history based structures

Journal of Applied Logic

Volumn 5, Issue 4 SPEC. ISS., 2007, Pages 613-624

  Pacuit, Eric ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Epistemic temporal logic; History based structures; Interpreted systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; GAME THEORY; PROGRAM INTERPRETERS; SEMANTICS;

EPISTEMIC TEMPORAL LOGICS; HISTORY BASED STRUCTURES; INTERPRETED SYSTEMS;

MATHEMATICAL MODELS;

EID: 35348910187     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2006.03.012     Document Type: Article

References (34)

1. Aumann R. Interactive epistemology I: Knowledge. International Journal of Game Theory 28 (1999) 263-300
2. Bonanno G. A characterization of von Neumann games in terms of memory. Synthese 139 2 (2004) 237-256
3. Bonanno G., and Battigalli P. Recent results on belief, knowledge and the epistemic foundations of game theory. Research in Economics 53 2 (1999) 149-225
4. G. Bonanno, K. Nehring, Agreeing to disagree: a survey, Document prepared of an invited lecture at the Workshop on Bounded Rationality and Economic Modelling, July 1997
5. Brams S.J., and Taylor A.D. Fair Division: From Cake-Cutting to Dispute Resolution (1996), Cambridge University Press, Cambridge
6. Chellas B. Modal Logic: An Introduction (1980), Cambridge University Press, Cambridge
7. Clarke E.M., Grumberg O., and Peled D.A. Model Checking (1999), MIT Press, Boston
8. Fagin R., Halpern J., Moses Y., and Vardi M. Reasoning about Knowledge (1995), MIT Press, Boston
9. French T., Meyden R.v.d., and Reynolds M. Axioms for logics of knowledge and past time: Synchrony and unique initial states. Advances in Modal Logic vol. 5 (2005), King's College Publications 53-72
10. P. Gochet, P. Gribomont, Epistemic logic, in: D.M. Gabbay, J. Woods (Eds.), Handbook of the History and Philosophy of Logic, Elsevier, Amsterdam, in press
11. Goranko V. Temporal logics of computation. Notes prepared for a course at the 12th European Summer School in Logic, Language and Information. Available at. http://general.rau.ac.za/maths/goranko/new/papers/esslli2000.pdf
12. Halpern J., van der Meyden R., and Vardi M. Complete axiomatizations for reasoning about knowledge and time. SIAM Journal of Computing 33 2 (2004) 674-703
13. Halpern J., and Vardi M. The complexity of reasoning about knowledge and time. Journal of Computer and System Sciences 38 (1989) 195-237
14. Harrenstein P., van der Hoek W., Meyer J.-J., and Witteveen C. A modal characterization of Nash equilibrium. Fundamenta Informaticae 57 (2003) 281-321
15. Hintikka J. Knowledge and Belief: An Introduction to the Logic of the Two Notions (1962), Cornell University Press, Ithaca
16. Osborne M., and Rubinstein A. A Course in Game Theory (1994), MIT Press, Boston
17. E. Pacuit, Topics in social software: Information in strategic situations, PhD thesis, City University of New York Graduate Center, 2005
18. R. Parikh, Language as social software (abstract), in: International Congress on Logic, Methodology and Philosophy of Science, 1995, p. 415
19. Parikh P. Logical omniscience. In: Leivant D. (Ed). Springer Lecture Notes in Computer Science vol. 960 (1995), Springer-Verlag 22-29
20. R. Parikh, Language as social software, in: S.S.J. Floyd (Ed.), Future Pasts: The Analytic Tradition in Twentieth Century Philosophy, 2001, pp. 339-350
21. Parikh R. Social software. Synthese 132 (2002) 187-211
22. R. Parikh, Towards a theory of social software, in: Proceedings of DEON 2002, September 2002, pp. 187-211
23. Parikh R., and Krasucki P. Levels of knowledge in distributed computing. Sadhana-Proc. Ind. Acad. Sci. 17 (1992) 167-191
24. Parikh R., and Ramanujam R. Distributed processes and the logic of knowledge. Logic of Programs. Lecture Notes in Computer Science vol. 193 (1985), Springer 256-268
25. Parikh R., and Ramanujam R. A knowledge based semantics of messages. Journal of Logic, Language and Information 12 (2003) 453-467
26. Pauly M. Programming and verifying subgame perfect mechanisms. Journal of Logic and Computation 15 3 (2005) 295-316
27. van Benthem J. Extensive games as process models. Journal of Logic, Language and Information 11 (2001) 289-313
28. van Benthem J. Games in dynamic epistemic logic. Bulletin of Economic Research 53 (2001) 216-248
29. R. van der Meyden, Axioms for knowledge and time in distributed systems with perfect recall, in: Proc. IEEE Symposium on Logic in Computer Science, July 1994, pp. 448-457
30. van der Meyden R., and Wong K. Complete axiomatizations for reasoning about knowledge and branching time. Studia Logica 75 1 (2003) 93-123
31. S. van Otterloo, A strategic analysis of multi-agent protocols, PhD thesis, University of Liverpool, 2005
32. S. van Otterloo, W. van der Hoek, M. Wooldridge, Preferences in game logics, in: Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), New York, July 2004
33. Y. Venema, Temporal logic, in: L. Goble (Ed.), The Blackwell Guide to Philosophical Logic, Blackwell Philosophy Guides, 2001
34. Zanaboni A.M. Reasoning about knowledge: Notes of Rohit Parikh's lectures (June 1991), Cassa di Risparmio di Padova e Rovigo, Italy Based on lectures given at the 3rd International School for Computer Science Researchers, Acireale, June 1991