Nikolay V. Shilov

Bibliography

van der Meyden, Ron and Shilov, Nikolay V. 1999. “Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract).” in Foundations of Software Technology and Theoretical Computer Science. 19th Conference, Chennai, India, December 13-15, 1999, edited by C. Pandu Rangan, T. V. Raman, and Ramaswamy Ramanujam, pp. 432–445. Berlin: Springer.
Nepomniaschy, Valerij A. and Shilov, Nikolay V. 1987. “Non-Deterministic Program Schemata and their Relation to Dynamic Logic.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 137–148. New York: Plenum Press.
Shilov, Nikolay V. 2014. “An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temportal Logics (by Example of Linear Temporal Logic).” in Logic, Computation, Hierarchies, edited by Vasco Brattka, Hannes Diener, and Dieter Spreen, pp. 297–324. Ontos Mathematical Logic n. 4. Berlin: de Gruyter.