Abstract

Recent years have witnessed impressive leaps forward in modelling the dynamics of inquiry. Different models have been suggested to fathom various aspects of the reasoning processes relevant to inquiry; belief revision, dynamic epistemic and doxastic logics, stit-theory, logics of action, intention and doxastic voluntarism—in general, logics and formal models for – using an adequately covering term coined by Parikh – social software [Par02]. Many of these logics and formal frameworks rely on combining different modal logics in the realization that inquiry incorporates a multiplicity of parameters including time, change, relevant alternatives, epistemological forcing and learning just to mention a few. The result: Multi-modal systems.