Scholar

Sonia Marin

Google Scholar ID: u4dV340AAAAJ

Lecturer, University of Birmingham

Logic - Proof theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

307

H-index

11

i10-index

12

Publications

17

Co-authors

0

Contact

No contact links provided.

Publications

2 items

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

2026

Cited

0

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)