S.P. Suresh (suresh-sp)

Contributions to Philosophie.ch

Bibliography

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.