Temporal Logics over Transitive States.

Boris Konev, Frank Wolter, Michael Zakharyaschev

Browse the full CADE paper archive.