%0 Journal Article %1 journals/apal/ConradieP12 %A Conradie, Willem %A Palmigiano, Alessandra %D 2012 %J Ann. Pure Appl. Log. %K dblp %N 3 %P 338-376 %T Algorithmic correspondence and canonicity for distributive modal logic. %U http://dblp.uni-trier.de/db/journals/apal/apal163.html#ConradieP12 %V 163

@article{journals/apal/ConradieP12, added-at = {2020-02-21T00:00:00.000+0100}, author = {Conradie, Willem and Palmigiano, Alessandra}, biburl = {https://www.bibsonomy.org/bibtex/281fa0b3fe327371b978b80f4a6b797d5/dblp}, ee = {https://doi.org/10.1016/j.apal.2011.10.004}, interhash = {17ecc3e4968119b8b390bf3f3016ec72}, intrahash = {81fa0b3fe327371b978b80f4a6b797d5}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 3, pages = {338-376}, timestamp = {2020-02-22T12:47:57.000+0100}, title = {Algorithmic correspondence and canonicity for distributive modal logic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal163.html#ConradieP12}, volume = 163, year = 2012 }