Skip to main navigation Skip to search Skip to main content
No photo of Sonia Marin

View Scopus Profile

Sonia Marin

Dr.

20212026

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

  • Intuitionistic Justification Logic, Semantically

    Marin, S., Padhiar, P. & Shillito, I., 29 Jun 2026, Proceedings of the Sixteenth International Conference on Advances in Modal Logic: Amsterdam, The Netherlands, 29-06-2026. Bílková, M., Gattinger, M., van der Giessen, I., Girlando, M. & Wang, Y. (eds.). Open Publishing Association, Vol. 16. p. 603-622 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 447).

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

    Open Access
    File
    5 Downloads (Pure)

  • The proof theory and semantics of second-order (intuitionistic) tense logic

    Becker, J., Das, A., Marin, S. & Padhiar, P., 5 Feb 2026, arXiv.

    Research output: Working paper/Preprint › Preprint

    File
    23 Downloads (Pure)

  • Justification Logic for Intuitionistic Modal Logic

    Marin, S. & Padhiar, P., 25 Sept 2025, Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (eds.). Springer, p. 393-413 21 p. (Lecture Notes in Computer Science; vol. 15980).

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

    Open Access
    File
    48 Downloads (Pure)

  • Separability and harmony in ecumenical systems

    Marin, S., Pereira, L. C., Pimentel, E. & Sales, E., Sept 2025, In: Journal of Logic and Computation. 35, 6, 29 p., exae058.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    4 Downloads (Pure)

  • 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

View all 16 research outputs