Analytic cut-free Tableaux for regular modal logics of agent beliefs
Citation
Gore, R & Nguyen, L 2008, 'Analytic cut-free Tableaux for regular modal logics of agent beliefs', in F. Sadri, K. Satoh (ed.), Computational Logic in Multi-Agent Systems, Springer, Berlin, Germany, pp. 268-287.Year
2008ANU Authors
Fields of Research
- Mathematical Logic, Set Theory, Lattices And Universal Algebra
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified