Recent publications
Article
Marin, S, Miller, D, Pimentel, E & Volpe, M 2022, 'From axioms to synthetic inference rules via focusing', Annals of Pure and Applied Logic, vol. 173, no. 5, 103091. https://doi.org/10.1016/j.apal.2022.103091
Marin, S, Morales, M & Straßburger, L 2021, 'A fully labelled proof system for intuitionistic modal logics', Journal of Logic and Computation, vol. 31, no. 3, pp. 998–1022. https://doi.org/10.1093/logcom/exab020
Kuznets, R, Marin, S & Straßburger, L 2021, 'Justification logic for constructive modal logic', Journal of Applied Logics - IfCoLog, vol. 8, no. 8, pp. 2313-2332. <https://www.collegepublications.co.uk/ifcolog/?00050>
Conference contribution
Girlando, M, Kuznets, R, Marin, S, Morales, M & Straßburger, L 2024, A Simple Loopcheck for Intuitionistic K. in G Metcalfe, T Studer & R de Queiroz (eds), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 14672, Springer, pp. 47-63, 30th Workshop on Logic, Language, Information and Computation, Bern, Switzerland, 10/06/24. https://doi.org/10.1007/978-3-031-62687-6_4
Das, A, van der Giessen, I & Marin, S 2024, Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. in A Murano & A Silva (eds), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics, LIPIcs, vol. 288, Schloss Dagstuhl, pp. 22:1-22:18, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 19/02/24. https://doi.org/10.4230/LIPIcs.CSL.2024.22
Marin, S & Padhiar, P 2024, Nested proof theory for quasi-transitive modal logics. in Advances in Modal Logic. Advances in Modal Logic, College Publications, Advances in Modal Logic 2024, Advances in Modal Logic 2024, Czech Republic, 19/08/24.
Carbone, M, Marin, S & Schürmann, C 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. in R Glück & B Kafle (eds), Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14330, Springer. https://doi.org/10.1007/978-3-031-45784-5_7
Girlando, M, Kuznets, R, Marin, S, Morales, M & Straßburger, L 2023, Intuitionistic S4 is decidable. in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): June 26 2023 to June 29 2023 Boston, MA, USA. Annual Symposium on Logic in Computer Science, IEEE, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, United States, 26/06/23. https://doi.org/10.1109/LICS56636.2023.10175684
Das, A & Marin, S 2023, On Intuitionistic Diamonds (and Lack Thereof). in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14278 LNAI, Springer, pp. 283-301, 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, Prague, Czech Republic, 18/09/23. https://doi.org/10.1007/978-3-031-43513-3_16
Das, A & Marin, S 2022, Modal logic and the polynomial hierarchy: from QBFs to K and back. in D Fernández-Duque, A Palmigiano & S Pinchinat (eds), Advances in Modal Logic: Volume 14. Advances in Modal Logic, vol. 14, College Publications, pp. 329-348, Advances in Modal Logic 2022, Rennes, France, 22/08/22. <http://www.aiml.net/volumes/volume14/21-Das-Marin.pdf>
Marin, S, Pereira, LC, Pimentel, E & Sales, E 2021, A Pure View of Ecumenical Modalities. in A Silva, R Wassermann & R de Queiroz (eds), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Lecture Notes in Computer Science, vol. 13038, Springer, pp. 388–407, 27th Workshop on Logic, Language, Information and Computation, 5/10/21. https://doi.org/10.1007/978-3-030-88853-4_24
Gheorghiu, A & Marin, S 2021, Focused Proof-search in the Logic of Bunched Implications. in Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12650, Springer, pp. 247–267. https://doi.org/10.1007/978-3-030-71995-1_13
View all publications in research portal