On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.13 ◽

2008 ◽

Author(s):

Taolue Chen ◽

Wan Fokkink

Download Full-text