Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993 (Q1815557)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Hudelmaier, Jörg}, A contraction-free sequent calculus for S4, 3-15 [Zbl 0869.03012] \textit{Mints, Grigori; Orevkov, Vladimir; Tammet, Tanel}, Transfer of sequent calculus strategies to resolution for S4, 17-31 [Zbl 0869.03010] \textit{Schellinx, Harold}, A linear approach to modal proof theory, 33-43 [Zbl 0860.03017] \textit{Skura, Tomasz}, Refutations and proofs in S4, 45-51 [Zbl 0867.03008] \textit{Orlowska, Ewa}, Relational proof systems for modal logics, 55-78 [Zbl 0871.03008] \textit{Belnap, Nuel}, The display problem, 79-92 [Zbl 0867.03017] \textit{Kracht, Marcus}, Power and weakness of the modal display calculus, 93-121 [Zbl 0864.03014] \textit{Wansing, Heinrich}, A proof-theoretic proof of functional completeness for many modal and tense logics, 123-136 [Zbl 0867.03018] \textit{Goré, Rajeev}, On the completeness of classical modal display logic, 137-140 [Zbl 0878.03014] \textit{Cerrato, Claudio}, Modal sequents, 141-166 [Zbl 0865.03012] \textit{Došen, Kosta; Petrić, Zoran}, Modal functional completeness, 167-211 [Zbl 0862.03008] \textit{Martini, Simone; Masini, Andrea}, A computational interpretation of modal proofs, 213-241 [Zbl 0867.03016] \textit{Mikulás, Szabolcs}, Gabbay-style calculi, 243-252 [Zbl 0862.03006] \textit{Ohlbach, H. J.; Schmidt, R.; Hustadt, U.}, Translating graded modalities into predicate logics, 253-291 [Zbl 0874.03021] \textit{Gasquet, Olivier; Herzig, Andreas}, From classical to normal modal logics, 293-311 [Zbl 0867.03007]