Didier Dubois, Petr Hájek, Henri Prade, Knowledge-Driven versus Data-Driven Logics, Journal of Logic, Language, and Information, Vol. 9, No. 1, Special Issue on ...

Temporal justification logic is a new family of temporal logics of knowledge in which the knowledge of agents is modelled using a justification logic. In this paper, we present various temporal ...