1985/08: Modelling knowledge, action, logic and norms