Temporal Logics over Transitive States

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,