Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).

Asta Halkjr From, Patrick Blackburn, Jrgen Villadsen

Browse the full CADE paper archive.