AXIOMATIC THEORIES OF INTENTIONAL SYSTEMS: METHODOLOGY OF THEORY CONSTRUCTION · Study