Sequent calculus for minimal non-normal temporal logic}{Sequent calculus for minimal non-normal temporal logic

The minimal non-normal modal logic C2 is temporalized, and the minimal non-normal temporal logic C2t is obtained. The Hilbert-style axiomatic system HC2t, which is sound and complete, is established for C2t. The logic C2t is more general than the minimal temporal logic Kt. The proof theory of C2t is approached by introducing the labelled sequent calculus GC2t. The calculus GC2t is sound and complete, and involves cut elimination. The decidability of GC2t is obtained, and the proof search can be performed in GC2t.