Skip to main content
SpringerLink
Log in

A first order logic of truth, knowledge and belief

  • Selected Papers
  • Conference paper
  • First Online:
Logics in AI (JELIA 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 478))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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 

  • Davies, N.J., "A First Order Theory of Reasoning Agents", Ph.D. Thesis, Dept. of Computer Science, University of Essex, UK, forthcoming.

    Google Scholar 

  • Gupta, A., "Truth and Paradox", J. Phil. Logic 11, 1–60, 1982.

    Google Scholar 

  • Herzberger, H., "Notes on Naive Semantics", J. Phil. Logic 11, 61–102, 1982.

    Google Scholar 

  • Hughes, G.E. and Cresswell, M.J., "A Companion to Modal Logic", Methuen, London, 1984.

    Google Scholar 

  • Konolige, K., "A First-order Formalisation of Knowledge and Action for a Multi-agent Planning System", Mach. Int. 10, 1982.

    Google Scholar 

  • Kripke, S., "Outline of a Theory of Truth", J. Phil., 72, 1975.

    Google Scholar 

  • Montague, R., "Syntactical Treatment of Modalities, with Corollaries on Reflexion Principles and Finite Axiomatizability", Acta Philosophics Fennica 16, 153–167, 1963.

    Google Scholar 

  • 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 

  • Morgenstern, L., "Foundations of a Logic of Knowledge, Action and Communication", PhD Thesis, New York University, 1988.

    Google Scholar 

  • Perlis, D., "Languages with Self-Reference II: Knowledge, Belief and Modality", AI Journal, 34, 1988.

    Google Scholar 

  • Reichgelt, H., "Semantics for a Reified Temporal Logic", Proceedings of the 1987 AISB Conference, Edinburgh, 6–10 April, 1987, pp. 49–62.

    Google Scholar 

  • Thomason, R., "A Note on Syntactical Treatments of Modality", Synthese 44, pp 391–395, 1980.

    Google Scholar 

  • Turner, R., "Truth and Modality for Knowledge Representation", Pitman Press, London, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept of Computer Science, University of Essex, Colchester CO4 3SQ, Essex, UK

    Nick Davies

Authors
  1. Nick Davies
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. van Eijck

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Davies, N. (1991). A first order logic of truth, knowledge and belief. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018440

Download citation

  • DOI: https://doi.org/10.1007/BFb0018440

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53686-4

  • Online ISBN: 978-3-540-46982-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation