Truth and Modality for Knowledge Representation

UCL Press (1990)
  Copy   BIBTEX


An introduction to the various logics of truth and modality as part of a foundation for the construction of theories of knowledge representation. The book reviews various semantic theories and employs them as the basis for the development of logics of truth and modality.



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Representation as a cognitive instrument.Frank Ankersmit - 2013 - History and Theory 52 (2):171-193.
Truth and representation in science: Two inspirations from art.Anjan Chakravartty - 2010 - Boston Studies in the Philosophy of Science:33-50.
Meaning representation versus knowledge representation.Daniel Kayser - 1991 - In Neil Cooper & Pascal Engel (eds.), New Inquiries Into Meaning and Truth. St. Martin's Press. pp. 163--186.
Representation of a representation: Reflections on las meninas.Rocco J. Gennaro - 2008 - Journal of Consciousness Studies 15 (9):47-50.
Mental representation: A functionalist view.Robert Van Gulick - 1982 - Pacific Philosophical Quarterly 63 (1):3-20.


Added to PP

8 (#1,321,089)

6 months
4 (#796,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
Property Theories.George Bealer & Uwe Monnich - 2003 - In Dov Gabbay & Frans Guenthner (eds.), Handbook of Philosophical Logic, Volume 10. Kluwer Academic Publishers. pp. 143-248.
Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references