@article{lmcs:7026, title = {Modal meet-implication logic}, author = {Jim de Groot and Dirk Pattinson}, url = {https://lmcs.episciences.org/7026}, doi = {10.46298/lmcs-18(3:1)2022}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 18, Issue 3}, eid = 1, year = {2022}, month = {Jul}, keywords = {Mathematics - Logic, Computer Science - Logic in Computer Science}, }