@article{KJM_2006_29_a9, author = {Vladimir Risti\'c}, title = {$L_{ACP}^k>$ logic and completeness theorem}, journal = {Kragujevac Journal of Mathematics}, pages = {99 }, publisher = {mathdoc}, volume = {29}, year = {2006}, zbl = {1121.03030}, language = {en}, url = {http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/} }