Modal tableaux: completeness vs. termination

MaRDI QIDQ3007260zbMATH OpenFDO

Authors Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade

Publication date 21 June 2011

Mathematics Subject Classification ID

Could not fetch data.

Recommendations

• Terminating modal tableaux with simple completeness proof
• scientific article; zbMATH DE number 1267561
• scientific article; zbMATH DE number 1435945
• Strongly analytic tableaux for normal modal logics
• TABLEAUX: A general theorem prover for modal logics

This page was built for publication: Modal tableaux: completeness vs. termination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007260)