Focus Games for Satisfiability and Completeness of Temporal Logic.

Martin Lange, Colin Stirling

Browse the full LICS paper archive.