The tree of knowledge in action towards a common perspective - Benthem, Johan van 1949-; Pacuit, Eric (Inst. for Logic, Language and Computation, 2006)