Machine-Checked Proof-Theor... - Researchers

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, Birkhauser Verlag, Switzerland, pp. 173-243.

Year

2016

ANU Authors

Emeritus Professor Rajeev Gore

Fields of Research

Computational Logic And Formal Languages
Computational Logic And Formal Languages

Updated: 19 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers