View-based explicit knowledge

Annals of Pure and Applied Logic

Volumn 96, Issue 1-3, 1999, Pages 343-368

  Ramanujam, R ^a  

^a INSTITUTE OF MATHEMATICAL SCIENCES   (India)

Author keywords

Explicit knowledge; Logics of knowledge; Reasoning about distributed systems

Indexed keywords

EID: 0033095788     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(98)00045-1     Document Type: Article

References (17)

1. R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, Cambridge, MA, 1995.
2. J. Halpern, R. Fagin, Modelling knowledge and action in distributed systems, Distributed Computing 3 (4) (1989) 159-177.
3. J. Halpern, Y. Moses, M. Vardi, Algorithmic knowledge, TARK V, Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, San Francisco 1994, pp. 255-266.
4. J. Halpern, M. Vardi, Model checking vs theorem proving: a manifesto, in: V. Lifschitz (Ed.) Artificial Intelligence and Mathematical Theory of Computation, Academic Press, New York, 1991, pp. 151-176.
5. J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca, NY, 1962.
6. W. van der Hoek, J.-J.C. Meyer, Making some issues of implicit knowledge explicit, International Journal on Foundations Comput. Sci. 3 (2) (1992) 193-223.
7. G.E. Hughes, M.J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984.
8. P. Krasucki, G. Ndjatou, R. Parikh, Probabilistic knowledge and probabilistic common knowledge, ISMIS 90, International Symp. on Methodology for Intelligent Systems, 1990, pp. 1-8.
9. P. Krasucki, R. Ramanujam, Knowledge and the ordering of events in distributed systems, TARK V, Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, San Francisco 1994, pp. 267-283.
10. S. Kraus, D. Lehmann, Knowledge, belief and time, Theoret. Comput. Sci. 58 (1988) 155-174.
11. Y. Moses, Y. Shoham, Belief as defeasible knowledge, Artificial Intelligence 64 (#2) (1993) 299-322.
12. R. Parikh, Knowledge and the problem of logical omniscience, ISMIS 87, International Symp. on Methodology for Intelligent Systems, 1987, pp. 432-439.
13. R. Parikh, Some recent applications of knowledge, FST and TCS 7, Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, vol. 287, Springer, Berlin, 1987, pp. 528-539.
14. R. Parikh, Recent trends in reasoning about Knowledge, TARK III, Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, San Francisco 1990, pp. 3-10.
15. R. Parikh, Logical omniscience, in: Logic and Computational Complexity, Lecture Notes in Computer Science, vol. 960, Springer, Berlin, 1994, pp. 22-29.
16. R. Ramanujam, Local knowledge assertions in a changing world, TARK VI, Theoretical Aspects of Rationality and Knowledge, Morgan Kaufmann, San Francisco 1996, pp. 1-17.
17. R. Ramanujam, A discussion on explicit knowledge, in: The Parikh Project: Seven papers in honour of Rohit, K. Segerburg (Ed.), Uppsala Prints and Reprints in Philosophy, No. 18, 1996.