Temporal Logics over Transitive States Boris Konev1 , Frank Wolter1 , and Michael Zakharyaschev2 1
Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, U.K. {b.konev, frank}@csc.liv.ac.uk 2 Department of Computer Science, King’s College London, Strand, London WC2R 2LS, U.K.
[email protected]
Abstract. We investigate the computational behaviour of ‘two-dimensional’ propositional temporal logics over (N,