×

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.

MSC:

03B35 Mechanization of proofs and logical operations
03B45 Modal logic (including the logic of norms)
03B25 Decidability of theories and sets of sentences

Citations:

Zbl 0689.03005
PDFBibTeX XMLCite