Clausal Tableaux for Multim... - Researchers - ANU

Skip navigation

Researchers

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

2009

ANU Authors

Emeritus Professor Rajeev Gore

Field of Research

Computational Logic And Formal Languages

Updated: 17 April 2021 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers