First-order modal tableaux

Publisher Website

1 June 1988

journal article
Published by Springer Nature in Journal of Automated Reasoning

Vol. 4 (2)
https://doi.org/10.1007/bf00244394

Abstract

No abstract available

Keywords

Cited by 55 articles