Quantifiers in combinatory PDL: completeness, definability, incompleteness.

Solomon Passy, Tinko Tinchev

Browse the full FCT paper archive.