|Modelprojekt, 1. modul, 2010, id:400|
|Vejleder:||Eksaminator Anders Madsen|
|Findes på RUb:||Ja|
In the present paper syntax, constant domain semantics with non-riged constants and an axiom system for n-agent systems with identity for a term-modal logic is presented. This allows operator indices to be terms of the first-order language resulting in poerators doubling as predicates. Quantification over agents is possible and the agents are reflected in the semantic structure. It is shown how classic epistemic axioms af S5 can be added to the core system. Examples of expressibility are given, and venues of further research addressed.