Logical Theories for Agent Introspection

  title={Logical Theories for Agent Introspection},
  author={Thomas Bolander},
[1] Thomas Bolander and Helge Elbrønd Jensen. On Gödel’s Theorem (in danish). NORMAT (Nordic Journal of Mathematics), 1:15–29, 2002. [2] Thomas Bolander. Maximal introspection of agents. Electronic Notes in Theoretical Computer Science, 70(5), 2002. Elsevier Science. 16 pages. [3] Thomas Bolander. Restricted truth predicates in first-order logic. In The LOGICA Yearbook 2002, pages 41–55. Filosofia, Prague, 2002. [4] Thomas Bolander. Self-reference and logic. Phi News, 1:9–44, 2002. PhiLog… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

Which patterns of semantic dependency are paradox

Bolander, 2003b Thomas Bolander

Maximal Introspection of Agents

Electr. Notes Theor. Comput. Sci. • 2002

Phi News

Thomas Bolander. Self-reference, logic
1:9–44, • 2002

The Liar Lies and Snow is White—A consistent theory of truth

Andreas Beck
[Beck, • 2002

Syntactical treatments

Morreau, Kraus, 1998 Michael Morreau, Sarit Kraus

Similar Papers

Loading similar papers…