optimal and Cut-Free Tableaux for propositional dynamic logic with converse

Citation

Gore, R & Widmann, F 2010, 'Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse', International Joint Conference on Automated Reasoning (IJCAR 2010), Conference Organising Committee, Scotland.

Year

2010

ANU Authors

Updated:  19 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers