Scholar
Eugenio Orlandelli
Google Scholar ID: OhGApyUAAAAJ
università di bologna
proof theory
modal logic
philosophical logic
formal philosophy
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
225
H-index
8
i10-index
8
Publications
20
Co-authors
0
Publications
1 items
Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
2026
Cited
0
