Dialogique temporelle et hybridation

Abstract

The aim of the paper is to offer a dialogical interpretation of standard temporal logic. This interpretation will use hybrid languages which were used by Patrick Blackburn to characterize modal logic as dialogical logic.