%0 Journal Article %1 journals/flap/MartiS16 %A Marti, Michel %A Studer, Thomas %D 2016 %J FLAP %K dblp %N 5 %P 877-902 %T Intuitionistic Modal Logic made Explicit. %U http://dblp.uni-trier.de/db/journals/flap/flap3.html#MartiS16 %V 3

@article{journals/flap/MartiS16, added-at = {2020-03-12T00:00:00.000+0100}, author = {Marti, Michel and Studer, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/24dc21576088b4cccd4daae2d90944895/dblp}, ee = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, interhash = {c61511402317076a29a473ae3a7d4b17}, intrahash = {4dc21576088b4cccd4daae2d90944895}, journal = {FLAP}, keywords = {dblp}, number = 5, pages = {877-902}, timestamp = {2020-03-13T11:47:54.000+0100}, title = {Intuitionistic Modal Logic made Explicit.}, url = {http://dblp.uni-trier.de/db/journals/flap/flap3.html#MartiS16}, volume = 3, year = 2016 }