No photo of Sonia Marin

View Scopus Profile

Sonia Marin

Dr.

20212024

Research activity per year

Fingerprint

Dive into the research topics where Sonia Marin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 9 Conference contribution
  • 3 Article

  • A Simple Loopcheck for Intuitionistic K

    Girlando, M., Kuznets, R., Marin, S., Morales, M. & Straßburger, L., 8 Jun 2024, Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). 1 ed. Springer, p. 47-63 (Lecture Notes in Computer Science; vol. 14672).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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
    149 Downloads (Pure)

  • Nested proof theory for quasi-transitive modal logics

    Marin, S. & Padhiar, P., 2024, (Accepted/In press) Advances in Modal Logic. College Publications, (Advances in Modal Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Logical Interpretation of Asynchronous Multiparty Compatibility

    Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer, (Lecture Notes in Computer Science; vol. 14330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Intuitionistic S4 is decidable

    Girlando, M., Kuznets, R., Marin, S., Morales, M. & Straßburger, L., 14 Jul 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): June 26 2023 to June 29 2023 Boston, MA, USA. IEEE, (Annual Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all 12 research outputs