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
Abstract
Available in
Categories
Date
March 1, 1997
Authors
Publisher
Oxford University Press (OUP)