Gdel logics and the fully boxed fragment of LTL.

Matthias Baaz, Norbert Preining

Browse the full LPAR paper archive.