Rule refinement for semantic tableau calculi

DOI10.1007/978-3-319-66902-1_14zbMath1496.03052OpenAlexW2741521434MaRDI QIDQ1694467

Dmitry Tishkovsky, Renate A. Schmidt

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_14

Mathematics Subject Classification ID

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

This page was built for publication: Rule refinement for semantic tableau calculi