Skip navigation
The Australian National University

Free-variable tableaux for propositional modal logic


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



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:  22 June 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers