Skip navigation
The Australian National University

Machine-Checked Proof-Theory for Propositional Modal Logics

Citation

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.

Year

2016

Fields of Research

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

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers