Scholar
Sonia Marin
Google Scholar ID: u4dV340AAAAJ
Lecturer, University of Birmingham
Logic - Proof theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
307
H-index
11
i10-index
12
Publications
17
Co-authors
0
Publications
4 items
A decision procedure for intuitionistic modal logic IS4 (and IK4)
2026
Cited
0
Intuitionistic Justification Logic, Semantically
2026
Cited
0
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
