A Tableau System for Quasi-Hybrid Logic.

Diana Costa, Manuel A. Martins

Browse the full CADE paper archive.