%0 Journal Article %1 journals/logcom/MarinMS21 %A Marin, Sonia %A Morales, Marianela %A Straßburger, Lutz %D 2021 %J J. Log. Comput. %K dblp %N 3 %P 998-1022 %T A fully labelled proof system for intuitionistic modal logics. %U http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#MarinMS21 %V 31

@article{journals/logcom/MarinMS21, added-at = {2021-09-29T00:00:00.000+0200}, author = {Marin, Sonia and Morales, Marianela and Straßburger, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/2b4fcda478f7b12d4424bc7630b287480/dblp}, ee = {https://doi.org/10.1093/logcom/exab020}, interhash = {f422d665efb9fcaf8e482406e74c9c72}, intrahash = {b4fcda478f7b12d4424bc7630b287480}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {998-1022}, timestamp = {2024-04-09T05:12:31.000+0200}, title = {A fully labelled proof system for intuitionistic modal logics.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#MarinMS21}, volume = 31, year = 2021 }