Skip navigation
The Australian National University

An on-the-fly Tableau-based decision procedure for PDL-satisfiability


Abate, P, Gore, R & Widmann, F 2009, 'An on-the-fly Tableau-based decision procedure for PDL-satisfiability', Workshop on Methods for Modalities (M4M5 2007), ed. C. Areces, S. Demri, Elsevier, The Netherlands, pp. 191-209.



ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  28 May 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers