%0 Journal Article %1 journals/aml/Wolter98 %A Wolter, Frank %D 1998 %J Arch. Math. Log. %K dblp %N 3 %P 167-182 %T All finitely axiomatizable subframe logics containing the provability logic CSM 0_0 are decidable. %U http://dblp.uni-trier.de/db/journals/aml/aml37.html#Wolter98 %V 37

@article{journals/aml/Wolter98, added-at = {2023-12-17T00:00:00.000+0100}, author = {Wolter, Frank}, biburl = {https://www.bibsonomy.org/bibtex/28efa9ef68f5cbbb6cb40b847e91701d1/dblp}, ee = {https://doi.org/10.1007/s001530050090}, interhash = {41bbc4ce75e1aa66bc67fa9b426364bb}, intrahash = {8efa9ef68f5cbbb6cb40b847e91701d1}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 3, pages = {167-182}, timestamp = {2024-04-09T05:34:55.000+0200}, title = {All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml37.html#Wolter98}, volume = 37, year = 1998 }