{"entities":{"Q1815557":{"pageid":1826299,"ns":120,"title":"Item:Q1815557","lastrevid":69205215,"modified":"2026-04-13T05:27:53Z","type":"item","id":"Q1815557","labels":{"en":{"language":"en","value":"Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 945652"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815557$C4888ACB-0FCE-4C75-8E4D-F3D824E38E43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"124b05c6bdc31731d2eda5cf514e45ff344b671a","datavalue":{"value":{"text":"Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815557$839486FE-7058-486E-89C4-DB8E9ADF5B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5a8d0b59730a9ff493f5d99683214339ac7c0d","datavalue":{"value":"0852.00019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815557$135849B3-0B9E-47C9-8455-4AAB4AA78624","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815557$F3953056-CE50-4BD1-B65F-FB05CAD94129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6fe99f3a5a290fa5f51c63a73a4a3043936ac8","datavalue":{"value":{"time":"+1996-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815557$6EB7B1AA-F5F9-4641-B57B-AD66C6599358","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c13566bc2387cb4ead3faab6ba17fb0208e6638","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Hudelmaier, J\u00f6rg}, 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\u00e9, 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\u0161en, Kosta; Petri\u0107, 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\u00e1s, 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]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815557$C907BBC0-3F72-449A-9A0A-74EF6032F0F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815557$6619A007-7695-4D7B-97B8-E9A4947B5CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815557$B75B26EB-C03D-49CC-9861-8617C170BBA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81d2f2800e6d6d7d3a1d673ce241ae87a23e0a98","datavalue":{"value":"945652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815557$D1465E48-19DA-4058-A7D8-24366EA4408F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0cbbc442fcc127d9fa405ab5ed2ad80336e2fc","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815557$6CFED80E-B910-472E-8407-6EBFE5A0CE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815557$C84ADA92-5B6A-4CE0-BF73-B0DB514415D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815557$F565852E-5703-4E2B-AC42-9855CC90161E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815557$0387F86F-2ADA-414B-BE90-18DBB703A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72e4a59af2f72f2186b578df38eca32175a3b1ea","datavalue":{"value":"Hamburg (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815557$42DF97ED-51B4-4204-9B66-B96BC2F8C093","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815557$5736305C-A86E-412C-BE03-39F8E33AA774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_of_modal_logic._Proceedings_of_a_workshop,_Hamburg,_Germany,_November_19--20,_1993"}}}}}