%0 Journal Article %1 journals/ai/Halpern95 %A Halpern, Joseph Y. %D 1995 %J Artif. Intell. %K dblp %N 2 %P 361-372 %T The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. %U http://dblp.uni-trier.de/db/journals/ai/ai75.html#Halpern95 %V 75

@article{journals/ai/Halpern95, added-at = {2003-11-19T00:00:00.000+0100}, author = {Halpern, Joseph Y.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f6860fe12f7bf3d7bdd997362913164d/dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(95)00018-A}, interhash = {95d73d6aae25d79daec360a8988437b6}, intrahash = {f6860fe12f7bf3d7bdd997362913164d}, journal = {Artif. Intell.}, keywords = {dblp}, number = 2, pages = {361-372}, timestamp = {2016-02-02T03:23:16.000+0100}, title = {The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai75.html#Halpern95}, volume = 75, year = 1995 }