Vol-2239⫷ Vol-2240 ⫸Vol-2241
urn:nbn:de:0074-2240-0


Vol-2240/paper14⫷Vol-2240/paper15⫸Vol-2240/paper16

The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics