Implementing Tableau Calculi Using BDDs: BDDTab System Description

DOI10.1007/978-3-319-08587-6_25zbMath1423.68416OpenAlexW302791680MaRDI QIDQ3192204

Rajeev Goré, Kerry Olesen, Jimmy Thomson

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_25

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (4)

CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT ⋮ Verified Decision Procedures for Modal Logics. ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ : A Resolution-Based Prover for Multimodal K

Uses Software

• BDDTab

This page was built for publication: Implementing Tableau Calculi Using BDDs: BDDTab System Description