%0 Journal Article %1 journals/tocl/GradelHO02 %A Grädel, Erich %A Hirsch, Colin %A Otto, Martin %D 2002 %J ACM Trans. Comput. Log. %K %N 3 %P 418-463 %T Back and forth between guarded and modal logics. %U http://dblp.uni-trier.de/db/journals/tocl/tocl3.html#GradelHO02 %V 3

@article{journals/tocl/GradelHO02, added-at = {2023-12-13T09:44:37.000+0100}, author = {Grädel, Erich and Hirsch, Colin and Otto, Martin}, biburl = {https://www.bibsonomy.org/bibtex/26de6b8893d3392bffaa62c79519e8077/admin}, ee = {https://doi.org/10.1145/507382.507388}, interhash = {d14179b1980823b53573a950c81ee4c5}, intrahash = {6de6b8893d3392bffaa62c79519e8077}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 3, pages = {418-463}, timestamp = {2023-12-13T09:44:37.000+0100}, title = {Back and forth between guarded and modal logics.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl3.html#GradelHO02}, volume = 3, year = 2002 }