Propositional dynamic logic with recursive programs

Wydawnictwa / Banach Center Publications / Wszystkie tomy

Tinko Tinchev, Dimiter Vakarelov Banach Center Publications 21 (1988), 419-426 DOI: 10.4064/-21-1-419-426