First-order modal tableaux

• 1 June 1988
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 4  (2)
• https://doi.org/10.1007/bf00244394

Abstract

Keywords

• RESOLUTION
• PROOF THEORY
• MODAL LOGICS
• TABLEAUX
• NONCLASSICAL LOGICS