On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

Additional Metadata
THEME	Software (theme 1)
Publisher	IEEE Computer Society
Project	Protocols for Secure Infrastructure and E-commerce
Conference	IEEE Symposium on Logic in Computer Science
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Chen, T., & Fokkink, W. (2008). On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. In Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science (pp. 156–165). IEEE Computer Society .

Publication