Skip navigation
The Australian National University

Free-variable tableaux for propositional modal logic

Citation

Gore, R & Beckert, B 2001, 'Free-variable tableaux for propositional modal logic', Studia Logica, vol. 69, pp. 59-96.

Year

2001

ANU Authors

Fields of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Artificial Intelligence And Image Processing Not Elsewhere Classified
  • Computational Logic And Formal Languages

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers