On some calculi of modal logic

zbMath0208.01102MaRDI QIDQ2543317

Grigori Mints

Publication date: 1968

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

Basing sequent systems on exclusive-or ⋮ Uniform interpolation via nested sequents ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Proof theory for functional modal logic ⋮ A proof-theoretic study of the correspondence of classical logic and modal logic ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D

This page was built for publication: On some calculi of modal logic