Journal of Logic, Language and Information

, Volume 18, Issue 1, pp 79-95

First online:

A Logic of Situated Resource-Bounded Agents

  • Natasha AlechinaAffiliated withSchool of Computer Science, University of Nottingham Email author 
  • , Brian LoganAffiliated withSchool of Computer Science, University of Nottingham

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


We propose a framework for modelling situated resource-bounded agents. The framework is based on an objective ascription of intentional modalities and can be easily tailored to the system we want to model and the properties we wish to specify. As an elaboration of the framework, we introduce a logic, OBA, for describing the observations, beliefs, goals and actions of simple agents, and show that OBA is complete, decidable and has an efficient model checking procedure, allowing properties of agents specified in OBA to be verified using standard theorem proving or model checking techniques.


Agents Belief ascription Verification