An Axiom System for Basic Hybrid Logic with Propositional Quantifiers.

Patrick Blackburn, Torben Braner, Julie Lundbak Kofod

Browse the full WoLLIC paper archive.