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. page