Scholar
Sophie Nagler
Google Scholar ID: WgLUNuYAAAAJ
University of Oxford
Mathematical Philosophy
Logic
Philosophy of Science
Philosophy of Mathematics
History of Analytic Philosophy
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1
H-index
1
i10-index
0
Publications
5
Co-authors
1
Publications
2 items
Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP
2026
Cited
0
Inference-Behaviour Semantics for All$^\ast$ Connectives in Two-Dimensional Sequent Calculi
2026
Cited
0
