Dealing with Symmetries in Modal Tableaux

DOI10.1007/978-3-642-40537-2_4zbMath1401.68272OpenAlexW125580012MaRDI QIDQ2851930

Ezequiel Orbe, Carlos Areces

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Symmetric blocking

Uses Software

• QBFLIB
• HTab
• HGen

This page was built for publication: Dealing with Symmetries in Modal Tableaux