Decidability by Resolution for Propositional Modal Logics
SPS-Parallelism + SETHEO = SPTHEO
T-Resolution
Author Index to Volume 22
Subject Index to Volume 22
Contents to Volume 22