%0 Journal Article %1 journals/amai/Gabbay12c %A Gabbay, Dov M. %D 2012 %J Ann. Math. Artif. Intell. %K dblp %N 1-4 %P 81-129 %T Completeness theorems for reactive modal logics. %U http://dblp.uni-trier.de/db/journals/amai/amai66.html#Gabbay12c %V 66

@article{journals/amai/Gabbay12c, added-at = {2012-12-12T00:00:00.000+0100}, author = {Gabbay, Dov M.}, biburl = {https://www.bibsonomy.org/bibtex/2278c0bcd3caf13a2103e0bfc1f024dbb/dblp}, ee = {http://dx.doi.org/10.1007/s10472-012-9315-9}, interhash = {cc59be87c4e13720db9b11b5fe8aa9a4}, intrahash = {278c0bcd3caf13a2103e0bfc1f024dbb}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-4}, pages = {81-129}, timestamp = {2012-12-13T11:35:09.000+0100}, title = {Completeness theorems for reactive modal logics.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai66.html#Gabbay12c}, volume = 66, year = 2012 }