Logic, action and information essays on logic in philosophy and artificial intelligence - Fuhrmann, Andre; Rott, Hans (Walter de Gruyter, 1996)