Clausal Tableaux for Multimodal Logics of Belief
Citation
Gore, R & Nguyen, L 2009, 'Clausal Tableaux for Multimodal Logics of Belief', Fundamenta Mathematicae, vol. 94, no. 1, pp. 21-40.Year
2009ANU Authors
Field of Research
- Computational Logic And Formal Languages