A propositional linear time logic with time flow isomorphic to \(\omega^2\)
From MaRDI portal
Publication:2447179
DOI10.1016/j.jal.2014.03.002zbMath1328.03017arXiv1309.0829MaRDI QIDQ2447179
Zoran Ognjanović, Aleksandar Perović, Dragan Doder, Bojan Marinković
Publication date: 24 April 2014
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1309.0829