Skip navigation
The Australian National University

Machine-Checked Proof-Theory for Propositional Modal Logics


Dawson, J, Gore, R & Wu, J 2016, 'Machine-Checked Proof-Theory for Propositional Modal Logics', in Reinhard Kahle, Thomas Studer, Thomas Strahm (ed.), Advances in Proof Theory, Springer Birkhauser, Switzerland, pp. 173-243.



Fields of Research

  • Computational Logic And Formal Languages
  • Computational Logic And Formal Languages

Updated:  23 January 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers