Subject
Artificial Intelligence,Human-Computer Interaction,Theoretical Computer Science,Software
Reference46 articles.
1. The application of Kripke semantics in modeling dynamical aspects of database systems. In: editor. DOLLC'97 Proc Conf of Dynamic Obj Logic-Ling. Control. St. Petersburg, Russia: Publ of Academy of Sciences of Russia; 1997. pp 3-33.
2. Applications of the theory of Boolean rings to general topology
3. Sheaves and logic. In: editors. Applications of sheaves. Berlin/New York: LNM 753, Springer Verlag; 1979. pp 302-401.
4. Knowledge and belief. Ithaca, NY: Cornell University Press; 1962.