A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2

Bojan Marinković, Zoran Ognjanović, Dragan Doder +1

Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to…