↓ 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
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Machine-Checked Proof-Theory for Propositional Modal Logics
Chapter number 5
Book title
Advances in Proof Theory
Published by
Birkhäuser, Cham, January 2016
DOI 10.1007/978-3-319-29198-7_5
Book ISBNs
978-3-31-929196-3, 978-3-31-929198-7
Authors

Jeremy E. Dawson, Rajeev Goré, Jesse Wu