The true bisimulations for 'since' and 'until'

Logic and Logical Philosophy, Tom 10 (2002) s. 173-183
Holger Sturm

 

do góry