Sonia Marin – Research output — University of Birmingham

View Scopus Profile

Research activity per year

3 Conference contribution
3 Article

3 results

Filter

2024
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics
Das, A., van der Giessen, I. & Marin, S., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl, p. 22:1-22:18 18 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
73 Downloads (Pure)
2023
On Intuitionistic Diamonds (and Lack Thereof)
Das, A. & Marin, S., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, p. 283-301 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14278 LNAI).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
2022
Modal logic and the polynomial hierarchy: from QBFs to K and back
Das, A. & Marin, S., 25 Aug 2022, Advances in Modal Logic: Volume 14. Fernández-Duque, D., Palmigiano, A. & Pinchinat, S. (eds.). College Publications, p. 329-348 20 p. (Advances in Modal Logic; vol. 14).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access