Dealing with Symmetries in Modal Tableaux

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-642-40537-2_4 ◽

2013 ◽

pp. 13-27

Author(s):

Carlos Areces ◽

Ezequiel Orbe

Download Full-text