![Model theory / Mathematical logic / Logical syntax / Interpretation / Modal logic / Action selection / Proposition / Linear temporal logic / Logic / Philosophy of language / Formal languages Model theory / Mathematical logic / Logical syntax / Interpretation / Modal logic / Action selection / Proposition / Linear temporal logic / Logic / Philosophy of language / Formal languages](https://www.pdfsearch.io/img/433a3423feff2d133d6f327df0fcad90.jpg) Date: 2008-06-18 10:27:16Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages | | A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.ukAdd to Reading ListSource URL: www.cs.nott.ac.ukDownload Document from Source Website File Size: 148,01 KBShare Document on Facebook
|