A General Tableau Method for Propositional Interval Temporal Logics

GORANKO V

SCIAVICCO G.

MONTANARI, Angelo