Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates - O. S. Shkilniak (Artificial intelligence, 2013)