{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1815557","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1815557","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1815557","kernelVersion":"v1","immutable":true,"modified":"2025-07-24T22:26:06Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1815557","name":"Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993","headline":"Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993","description":"scientific article; zbMATH DE number 945652","url":"https://portal.mardi4nfdi.de/entity/Q1815557","datePublished":"1996-11-14","publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q232650"}],"comment":"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]"},"provenance":{"prov:generatedAtTime":"2025-07-24T22:26:06Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}