Ramaswamy Ramanujam (ramanujam)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Krasucki, Paul J. and Ramanujam, Ramaswamy. 1994. “Knowledge and the Ordering of Events in Distributed Systems.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 267–283. San Francisco, California: Morgan Kaufmann Publishers.
Lodaya, Kamal, Parikh, Rohit, Ramanujam, Ramaswamy and Thiagarajan, P. S. 1995. “A Logical Study of Distributed Transition Systems.” Information and Computation 119: 91–118.
Lodaya, Kamal, Ramanujam, Ramaswamy and Thiagarajan, P. S. 1989. “A Logic for Distributed Transition Systems.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 508–522. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Pandu Rangan, C., Raman, T. V. and Ramanujam, Ramaswamy, eds. 1999. Foundations of Software Technology and Theoretical Computer Science. 19th Conference, Chennai, India, December 13-15, 1999. Berlin: Springer.
Parikh, Rohit and Ramanujam, Ramaswamy. 2003. “A Knowledge Based Semantics of Messages.” Journal of Logic, Language, and Information 12(4): 453–467.
Ramanujam, Ramaswamy. 1996. “Local Knowledge Assertions in a Changing World.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 1–14. San Francisco, California: Morgan Kaufmann Publishers.
Ramanujam, Ramaswamy and Simon, Sunil. 2008. “Reasoning in Games.” in Logic, Navya-Nyāya & Applications. Hommage to Bimal Krishna Matilal, edited by Mihir Kumar Chakraborty, Benedikt Löwe, Madhabendra Nath Mitra, and Sundar Surakkai, pp. 261–286. Studies in Logic n. 15. London: College Publications.
Ramanujam, Ramaswamy and Suresh, S. P. 2011. “Challenges for Decidable Epistemic Logics from Security Protocols.” in Games, Norms and Reasons. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Eric Pacuit, pp. 215–231. Synthese Library n. 353. Dordrecht: Springer.