A general framework for pattern-driven modal tableaux
From MaRDI portal
Publication:4532364
DOI10.1093/jigpal/10.1.51zbMath0997.03010OpenAlexW2119862664MaRDI QIDQ4532364
Luis Fariñas del Cerro, Olivier Gasquet
Publication date: 13 November 2002
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/10.1.51
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Related Items (4)
Simulation and Synthesis of Deduction Calculi ⋮ Using tableau to decide description logics with full role negation and identity ⋮ A new methodology for developing deduction methods ⋮ Deciding regular grammar logics with converse through first-order logic
Uses Software
This page was built for publication: A general framework for pattern-driven modal tableaux
