A logic for characterizing multiple bounded agents

We describe a meta-logic for characterizing the evolving internal reasoning of various families of agents. We view the reasoning of agents as ongoing processes rather than as fixed sets of conclusions. Our approach utilizes a strongly sorted calculus, distinguishing the application language, time, a nd various syntactic sorts. We have established soundness and completeness results corresponding to various families of agents. This allows for useful and intuitively natural characterizations of such agents' reasoning abilit ies. We discuss and contrast consistency issues as in the work of Montague and Thomason. We also show how to represent the concept of focus of attenti on in this framework.