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
2001ANU Authors
Fields of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
- Artificial Intelligence And Image Processing Not Elsewhere Classified
- Computational Logic And Formal Languages