Games for Hybrid Logic - From Semantic Games to Analytic Calculi.

Robert Freiman

Browse the full WoLLIC paper archive.