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

1999

ANU Authors

Fields of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  30 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers