| Using the universal modality: gains and questions V Goranko, S Passy Journal of logic and Computation 2 (1), 5-30, 1992 | 399 | 1992 |
| An essay in combinatory dynamic logic S Passy, T Tinchev Information and computation 93 (2), 263-332, 1991 | 224 | 1991 |
| Modal Environment for Boolean Speculations: preliminary report G Gargov, S Passy, T Tinchev Mathematical logic and its applications, 253-263, 1987 | 185 | 1987 |
| A note on Boolean modal logic G Gargov, S Passy Mathematical logic, 299-309, 1990 | 123 | 1990 |
| PDL with data constants S Passy, T Tinchev Information Processing Letters 20 (1), 35-41, 1985 | 71 | 1985 |
| Quantifiers in combinatory PDL: completeness, definability, incompleteness S Passy, T Tinchev International Conference on Fundamentals of Computation Theory, 512-519, 1985 | 51 | 1985 |
| Determinism and looping in combinatory PDL G Gargov, S Passy Theoretical Computer Science 61 (2-3), 259-277, 1988 | 24 | 1988 |
| A note on boolean logic G Gargov, S Passy, PP Petkov Proceedings of the Heyting Summerschool, Plenum Press, doi 10, 978-1, 1990 | 13 | 1990 |