The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situation...

Imagine BLOCKIN BLOCKIN a BLOCKIN

ions in Modeling In programming languages we declare and invoke abstractions. An abstraction has a designation – the designation is given in the declaration of the abstraction and is used in the application of it. Invocation of an abstraction means that the corresponding description is interpreted according to the semantics of the language. In general, when we know the designation we also know ...