%0 Journal Article %1 journals/synthese/BaltagS11 %A Baltag, Alexandru %A Smets, Sonja %D 2011 %J Synth. %K dblp %N 2 %P 285-306 %T Quantum logic as a dynamic logic. %U http://dblp.uni-trier.de/db/journals/synthese/synthese179.html#BaltagS11 %V 179

@article{journals/synthese/BaltagS11, added-at = {2022-10-02T00:00:00.000+0200}, author = {Baltag, Alexandru and Smets, Sonja}, biburl = {https://www.bibsonomy.org/bibtex/2c0c70e350dd9d08b979bd99b735fc929/dblp}, ee = {https://doi.org/10.1007/s11229-010-9783-6}, interhash = {47e481adbff92515565dd2d32de39618}, intrahash = {c0c70e350dd9d08b979bd99b735fc929}, journal = {Synth.}, keywords = {dblp}, number = 2, pages = {285-306}, timestamp = {2024-04-08T11:29:29.000+0200}, title = {Quantum logic as a dynamic logic.}, url = {http://dblp.uni-trier.de/db/journals/synthese/synthese179.html#BaltagS11}, volume = 179, year = 2011 }