ABSTRACT:
In this thesis we Introduce Quantified Interpreted Systems. A Semanticse To Reason About Knowledge In Multi-Agent Systems In A First Order Setting. We Define First Order Modal Axiomatisation For Different Settings.
تحت نظارت وف ایرانی