Languages with self-reference I: Foundations

Artificial Intelligence 25 (3):301-322 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

Analytics

Added to PP
2020-12-22

Downloads
58 (#1,036,199)

6 months
10 (#1,167,075)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Epistemic paradox.Tyler Burge - 1984 - Journal of Philosophy 81 (1):5-29.
Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.
Extended inference modes in reasoning by computer systems.Terry Winograd - 1980 - Artificial Intelligence 13 (1-2):5-26.

Add more references