↓ Skip to main content

Advances in Proof Theory

Overview of attention for book
Attention for Chapter 5: Machine-Checked Proof-Theory for Propositional Modal Logics
Altmetric Badge

Citations

dimensions_citation
1 Dimensions