A Polynomial Translation of S4 Into T and Contraction-Free Tableaux for S4
Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/5.2.287
Full Text
Open PDFAbstract
Available in full text
Categories
Date
March 1, 1997
Authors
Publisher
Oxford University Press (OUP)