%0 Journal Article %1 journals/logcom/BauerHWZ04 %A Bauer, Sebastian %A Hodkinson, Ian M. %A Wolter, Frank %A Zakharyaschev, Michael %D 2004 %J J. Log. Comput. %K dblp %N 1 %P 3-22 %T On Non-local Propositional and Weak Monodic Quantified CTL. %U http://dblp.uni-trier.de/db/journals/logcom/logcom14.html#BauerHWZ04 %V 14

@article{journals/logcom/BauerHWZ04, added-at = {2023-12-17T00:00:00.000+0100}, author = {Bauer, Sebastian and Hodkinson, Ian M. and Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/22bef9c86cba3f4fd5730d0f02dc8e9f0/dblp}, ee = {https://doi.org/10.1093/logcom/14.1.3}, interhash = {e54de4f93c98909b3641b3db3d75253f}, intrahash = {2bef9c86cba3f4fd5730d0f02dc8e9f0}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 1, pages = {3-22}, timestamp = {2024-04-09T05:12:36.000+0200}, title = {On Non-local Propositional and Weak Monodic Quantified CTL.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom14.html#BauerHWZ04}, volume = 14, year = 2004 }