{"entities":{"Q377468":{"pageid":379235,"ns":120,"title":"Item:Q377468","lastrevid":51859712,"modified":"2026-01-20T10:12:42Z","type":"item","id":"Q377468","labels":{"en":{"language":"en","value":"Labeled sequent calculi for modal logics and implicit contractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6223051"}},"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":"Q377468$44AA44F7-B221-48CB-A71D-D2EE0840005C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe38ac5ca643220e6452ff609d5015df346a52be","datavalue":{"value":{"text":"Labeled sequent calculi for modal logics and implicit contractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q377468$57908954-6829-4371-B3EF-B5F4A3D5060A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d158abd1bc18af11e96109ccd0355e1fe94d06d2","datavalue":{"value":"1303.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377468$95E98C2F-6EEF-4FE5-B3D2-CA1FC7DF80B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$E8B75BCC-D704-4D5B-AE74-6379D4A8FD64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$51618473-3F5A-402C-8F0B-2D2CEDF1061A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"102ef688e1f1ee42ad21d8460f0995ebefcc5ee1","datavalue":{"value":{"time":"+2013-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q377468$76CB8A6C-2DD8-46E7-AA2E-331D825F593A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b83187bca8ca0ba36afe13e45f79f574cbda574","datavalue":{"value":"The author investigates an issue directly concerning Negri's labeled sequent calculi, see [\\textit{S. Negri}, J. Philos. Log. 34, No. 5--6, 507--544 (2005; Zbl 1086.03045)], based on Kleene's G3-style calculi [\\textit{S. C. Kleene}, Introduction to metamathematics. Amsterdam: North-Holland Publishing Co. (1952; Zbl 0047.00703)] related to the standard modal systems K, D, T, K4, S4 and S5. The main result is that labeled calculi for the modal logics K and D remain complete w.r.t. valid tree-labeled sequents, that is, valid sequents whose relational part encodes a tree-like (not necessarily rooted) structure. The result is obtained when the unique rule containing a harmful implicit contraction is modified into a contraction-free one making the proof-search space finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q377468$94CE4ABE-1226-4428-9D0A-71A8C1B21A9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377468$7FE55782-CD81-4249-A52A-9A9B08C8C4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377468$86CEB5EF-E84E-426C-A34D-3EBE0A35C007","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9037e1f05addff562f155c91217fd74bb54972bf","datavalue":{"value":"6223051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377468$98DA1D92-8466-44FC-AB46-8A82790FA14D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32be3f7eb89f970bf28e897931c8359261297e9","datavalue":{"value":"labeled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q377468$354446F9-A600-4F83-BC3C-8F5E10827952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q377468$C6326C8C-DDA3-45FF-BE91-008C5F21C065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q377468$0B9CD7C6-4793-4E97-8351-9883E421124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q377468$CC49B127-6652-46EE-97BA-7AA8D7F2C080","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$F6F5014F-8688-4A1B-9374-007E0BC72DE8","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":"Q377468$7E2616B2-A8C1-4441-98D2-7B43DA6CBB8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29cff2c139b139d00ab3224cd54792014b2634bc","datavalue":{"value":"https://doi.org/10.1007/s00153-013-0350-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q377468$87822FEB-80C8-420C-A673-70DB97F73AEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"787920eda8fa458f1248dee33f465d4182c2ff2b","datavalue":{"value":"W2040634330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377468$89871A29-4981-4DB8-B5DC-52DDB597EFFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$0B89DA88-A05C-4A20-B36A-0582ED5DD954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$FDDBE0F7-0721-44BF-93E3-2D189FEE9AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$7FC63F2C-4EE4-4789-862A-C66A31337A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$562753FB-FCD7-4217-A7F7-CD1EEB9BCAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$A4850175-C12E-429C-80FA-E839C1318B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$878233A7-1570-446A-8FFA-D3E1F4BD0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$99F58419-074E-4703-985F-94D600938FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730ca176c0789d7172c718b3da4e5270b4504f8f","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$D68BE45E-3DFD-48E7-B38E-33BC7A09C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a5e37cfa8fe119d133cf38f120bfd07e3c3368","datavalue":{"value":{"entity-type":"item","numeric-id":2443327,"id":"Q2443327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$F1AE0633-E493-40B9-A71B-46AE87DB638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$9452016E-3C98-405F-872B-CC3C49EBA808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$64FCD95F-A0BF-4737-96CD-2ECD241B3E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$987F1F1B-FA39-49D8-A305-35C8E0148FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$E4987913-F4AA-4194-B850-2F902ACC4DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$654194E1-1BAA-4032-9107-23D145BA62E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$7BA19402-A0C9-4B6D-A59D-91E662CF1BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$E4CBBEA2-2D6D-42F7-BCCD-4012E864193C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377468$D907D40C-59F9-44D7-8B0C-23EE824551F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3cce6fa2aa899f67034bcdb2682413bae619d16","datavalue":{"value":"10.1007/S00153-013-0350-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377468$36133DF8-5191-4E54-A33B-FC21BA9F7171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef73cccc380fa318bae1885b7abb211c528963cf","datavalue":{"value":{"amount":"+0.7958710193634033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q377468$020B9375-C368-4C69-9A72-39120CEC74E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ff709cc8dc34db787af9ec7785a4e6ae822aab","datavalue":{"value":{"amount":"+0.7841172218322754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q377468$31F2CDD4-939F-4ACE-BCE0-8B63AB25D979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7060673df5d98f82ad439ac5c739997bab9e74b8","datavalue":{"value":{"entity-type":"item","numeric-id":5224570,"id":"Q5224570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72816eeb16d68dc81de06ff64584b1f9bb7e8f0","datavalue":{"value":{"amount":"+0.7761297821998596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q377468$C84FD626-D39E-42E3-AFCE-8442A77FBD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0891f45889d6e6c669d53d9b1231735f9a3d21f","datavalue":{"value":{"entity-type":"item","numeric-id":5693112,"id":"Q5693112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997430d640f6966ae6e6e9c211e92b32c4f57982","datavalue":{"value":{"amount":"+0.7736405730247498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q377468$B04E8EEA-4C18-4C94-8AD1-41B7DB6969E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf94fbacbc9291c3317024002d23f6e90bd3599","datavalue":{"value":{"amount":"+0.7702311277389526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q377468$20A29B08-6FED-42B9-AF7B-02E076AF70DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:377468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:377468"}}}}}