The logic of communication graphs

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

Volumn 3476 LNAI, Issue , 2005, Pages 256-269

  Pacuit, Eric ^a   Parikh, Rohit ^a,b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; TOPOLOGY;

COMMUNICATION GRAPH; MULTI-AGENT MODAL LOGIC; POLITICAL DILEMMAS;

GRAPH THEORY;

EID: 26844500771     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_15     Document Type: Conference Paper

References (21)

1. Baltag, A. and Moss, L., Logics for Epistemic Programs, Knowledge, Rationality, and Action section of Synthese, 139:2, pgs. 165-224, 2004,
2. Samir Chopra, Eric Pacuit and Rohit Parikh, Knowledge-theoretic Properties of Strategic Voting, Proceedings of 9th European Conference on Logics in Artifical Intelligence, Jos Jlio Alferes and Joo Leite editors, Lecture Notes in Artificial Intelligence, Springer, pgs. 18-30, 2004.
3. Dabrowski, A, Moss, L, and Parikh, R. Topolgical reasoning and the logic of knowledge. Annals of Pure and Applied Logic, 78, (1996), pp. 73-110.
4. Georgatos, K, Modal Logics for Topological Spaces. PhD Dissertation. Graduate School and University Center. City University of New York, 1993.
5. Georgatos, K, Knowledge Theoretic Properties of Topological Spaces. In Knowledge Representation and Uncertainty. M. Masuch and L. Polos, Eds. Lecture Notes in Artificial Intelligence, vol. 808, pages 147-159, Springer-Verlag, 1994.
6. Georgatos, K, Knowledge on Treelike Spaces. Studia Logica, 59, (1997), pp. 271-231.
7. Gerbrandy, J., Bisimulations on Planet Kripke, Ph.D. dissertation, University of Amsterdam, 1999.
8. Heinemann, B., Temporal Aspects of the Modal Logic of Subset Spaces, Theoretical Computer Science, 224(1-2):135-155, 1999.
9. Heinemann, B., Extending Topological Nexttime Logic. In S. D. Goodwin, A. Trudel, editors, Temporal Representation and Reasoning, TIME-00, Cape Breton, Nova Scotia, Canada, pages 87-94, IEEE Computer Society Press, Los Alamitos, CA, 2000.
10. Heinemann, B., A Hybrid Treatment of Evolutionary Sets. In C. A. Coello Coello, A. de Albornoz, L. E. Sucar, O. Cair Battistutti, editors, MICAI'2002: Advances in Artificial Intelligence, Mrida, Yucatn, Mexico. Volume 2313 of Lecture Notes in Artificial Intelligence, pages 204-213, Springer, Berlin, 2002.
11. Kooi, B., Knowledge, Chance, and Change, Ph.D. dissertation, University of Groningen, 2003.
12. Heinemann, B., A Hybrid Logic of Knowledge Supporting Topological Reasoning. In Algebraic Methodology and Software Technology, AMAST 2004, Stirling, United Kingdom. Lecture Notes in Computer Science, Springer, Berlin, 2004. To appear.
13. Moss, L. and Parikh, Topological Reasoning and the Logic of Knowledge, TARK IV, Ed. Y. Moses, Morgan Kaufmann, 1992.
14. Parikh, R., Social Software, Synthese, 132: 3, Sep 2002, pp. 187-211.
15. Parikh, R., Pacuit, E. and Cogan, E., The logic of knowledge based obligation. Early version presented at DALT '04. Forthcoming in Knowledge Rationality and Action: Special Issue on the Knowledge and Games Workshop, 2005.
16. Parikh, R., and R. Ramanujam "Distributed Processing and the Logic of Knowledge", in Logics of Programs, Proceedings of a Conference at Brooklyn College, June 1985, Springer Lecture Notes in Computer Science #193., pp. 256-268.
17. Parikh, R. and Ramanujam, R., A knowledge based semantics of messages, in J. Logic, Language, and Information, 12, pp. 453-467, 2003.
18. Plaza, J., Logics of public communications, Proceedings, 4th International Symposium on Methodologies for Intelligent Systems, 1989.
19. van Ditmarsch, H., Knowledge Games, Ph.D. dissertation, University of Groningen, 2000.
20. Vickers, S. Topology Via Logic, Cambridge University Press. 1989.
21. Weiss, M. A. and Parikh, R., "Completeness of Certain Bimodal Logics of Subset Spaces", Studia Logica, 71:1, pp. 1-30, 2002.