Philosophical and technical foundations of the adaptive logic programme. Further incorporation of logical mechanisms and further development of systems and applications

Start - End 
2001 - 2004 (completed)
Research Focus 



The development of the adaptive logic programme forced us time and again to go beyond the traditional view on logic. The aim of the project is to develop and study adaptive logics that will enable us to gain better insights in a set of theoretical problems such as (i) the limits of adaptive logics and of dynamic proof theories, (ii) the relation between logical and heuristic rules– these turn out to be partly interchangeable, and (iii) the relations between inconsistency-adaptive and modal adaptive logics.