Zamov, N. K. Modal resolutions. (English. Russian original) Zbl 0702.03006 Sov. Math. 33, No. 9, 23-29 (1989); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 9(328), 22-29 (1989). See the review in Zbl 0689.03005. Cited in 1 Document MSC: 03B35 Mechanization of proofs and logical operations 03B45 Modal logic (including the logic of norms) 03B25 Decidability of theories and sets of sentences Keywords:resolution method; modal propositional logic S4; associative unification; ordering search strategy; decision algorithm; modal logic Citations:Zbl 0689.03005 PDFBibTeX XMLCite \textit{N. K. Zamov}, Sov. Math. 33, No. 9, 23--29 (1989; Zbl 0702.03006); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 9(328), 22--29 (1989)