%0 Conference Paper %1 conf/lics/GirlandoKMMS23 %A Girlando, Marianna %A Kuznets, Roman %A Marin, Sonia %A Morales, Marianela %A Straßburger, Lutz %B LICS %D 2023 %K dblp %P 1-13 %T Intuitionistic S4 is decidable. %U http://dblp.uni-trier.de/db/conf/lics/lics2023.html#GirlandoKMMS23

@inproceedings{conf/lics/GirlandoKMMS23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Girlando, Marianna and Kuznets, Roman and Marin, Sonia and Morales, Marianela and Straßburger, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/29e1791a0ef3f7dea2b74d89d69a504e5/dblp}, booktitle = {LICS}, ee = {https://doi.org/10.1109/LICS56636.2023.10175684}, interhash = {d11742dbbdd6888045eea0e6305c4199}, intrahash = {9e1791a0ef3f7dea2b74d89d69a504e5}, keywords = {dblp}, pages = {1-13}, timestamp = {2024-04-09T07:59:42.000+0200}, title = {Intuitionistic S4 is decidable.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2023.html#GirlandoKMMS23}, year = 2023 }