Axioms of deliberative stit inspected

Abstract

This bachelor thesis offers a basic introduction to stit logic, before looking into two possible problems with [1] noted by my supervisor Dr. Jan Broersen.