Kamal Lodaya (lodaya)

Contributi a Philosophie.ch

Bibliography

Lodaya, Kamal. 2008. “Marking Time.” 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. 185–204. Studies in Logic n. 15. London: College Publications.
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.