Terminating Tableaux for Hybrid Logic with Eventualities.

Mark Kaminski, Gert Smolka

Browse the full CADE paper archive.