|
|
软件学报 1995
MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4
|
Abstract:
In this paper, the modal resolution method presented by P. Enjalbert and L.Farinas del Cerro is extended to modal systems K4 and D4. Then, the soundness and completeness of R K4 relative to K4 is proved, and also for R D4 relative to D4.
