The aim of this presentation is to give a concise introduction to the adaptive logics programme. After presenting (i) the standard format for adaptive logics, (ii) their dynamic proof theory and (iii) their semantics, we will address the question whether adaptive logics are formal logics and give an overview of the main metatheoretical results. Attached is a nice tutorial an inconsistency-adaptive logics, one of the main families within the adaptive logics framework.

Attachment: 

kolkataALtutorial_fin_corr.pdf