Skip navigation
The Australian National University

Tableaux methods for modal and temporal logics

Citation

Gore, R 1999, 'Tableaux methods for modal and temporal logics', in M. D'Agostine (ed.), Handbook of Tableaux Methods, Kluwer Academic Publishers, Unknown, pp. 297-396.

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:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers