A first order logic of truth, knowledge and belief

  • Nick Davies
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 478)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Davies, N.J., "Towards a First Order Theory of Reasoning Agents", Departmental Report CSM-130, Dept. of Computer Science, University of Essex, UK, 1989.Google Scholar
  2. Davies, N.J., "A First Order Theory of Reasoning Agents", Ph.D. Thesis, Dept. of Computer Science, University of Essex, UK, forthcoming.Google Scholar
  3. Gupta, A., "Truth and Paradox", J. Phil. Logic 11, 1–60, 1982.Google Scholar
  4. Herzberger, H., "Notes on Naive Semantics", J. Phil. Logic 11, 61–102, 1982.Google Scholar
  5. Hughes, G.E. and Cresswell, M.J., "A Companion to Modal Logic", Methuen, London, 1984.Google Scholar
  6. Konolige, K., "A First-order Formalisation of Knowledge and Action for a Multi-agent Planning System", Mach. Int. 10, 1982.Google Scholar
  7. Kripke, S., "Outline of a Theory of Truth", J. Phil., 72, 1975.Google Scholar
  8. Montague, R., "Syntactical Treatment of Modalities, with Corollaries on Reflexion Principles and Finite Axiomatizability", Acta Philosophics Fennica 16, 153–167, 1963.Google Scholar
  9. Moore, R., "A Formal Theory of Knowledge and Action", in "Formal Theories of the Commonsense World", Hobbs, J. and Moore, R. (eds), Norwood, NJ, Ablex, 1985.Google Scholar
  10. Morgenstern, L., "Foundations of a Logic of Knowledge, Action and Communication", PhD Thesis, New York University, 1988.Google Scholar
  11. Perlis, D., "Languages with Self-Reference II: Knowledge, Belief and Modality", AI Journal, 34, 1988.Google Scholar
  12. Reichgelt, H., "Semantics for a Reified Temporal Logic", Proceedings of the 1987 AISB Conference, Edinburgh, 6–10 April, 1987, pp. 49–62.Google Scholar
  13. Thomason, R., "A Note on Syntactical Treatments of Modality", Synthese 44, pp 391–395, 1980.Google Scholar
  14. Turner, R., "Truth and Modality for Knowledge Representation", Pitman Press, London, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Nick Davies
    • 1
  1. 1.Dept of Computer ScienceUniversity of EssexEssexUK

Personalised recommendations