![Metalogic / Model theory / Mathematical logic / Logical syntax / Interpretation / Modal logic / Function / Constructible universe / Well-formed formula / Logic / Formal languages / Mathematics Metalogic / Model theory / Mathematical logic / Logical syntax / Interpretation / Modal logic / Function / Constructible universe / Well-formed formula / Logic / Formal languages / Mathematics](https://www.pdfsearch.io/img/b30cc6d822d16ae5a75ca89c9252d1fd.jpg) Date: 2008-01-10 12:58:33Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics | | 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: 163,07 KBShare Document on Facebook
|