Minimal Systems of Temporal Logic

Dariusz Surowik. Minimal Systems of Temporal Logic. Axioms, 9(2):67, 2020. [doi]