Tractable transformation from modal provability logics into first-order logic
Citation
Gore, R & Demri, S 1999, 'Tractable transformation from modal provability logics into first-order logic', International Conference of Automated Deduction (CADE 1999), Springer, Berlin, pp. 16-30.Year
1999ANU Authors
Fields of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified