| S. Artemov, E. Kazakov and D. Shapiro. On logic of knowledge with justifications. Technical Report CFIS 99-12, Cornell University, 1999. http://www.cs.gc.cuny.edu/#sartemov/publications/S5LP.ps. |
No context found.
S. Artemov, E. Kazakov and D. Shapiro. On logic of knowledge with justifications. Technical Report CFIS 99-12, Cornell University, 1999. http://www.cs.gc.cuny.edu/#sartemov/publications/S5LP.ps.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC