{"entities":{"Q2475436":{"pageid":2486179,"ns":120,"title":"Item:Q2475436","lastrevid":50301521,"modified":"2026-01-13T19:05:25Z","type":"item","id":"Q2475436","labels":{"en":{"language":"en","value":"Cut-free common knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5246795"}},"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":"Q2475436$CB1C9244-77B0-4780-860E-23E6E5CEE9D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eedc6ca5c28787626bb0a5fc6cc8607165cba85","datavalue":{"value":{"text":"Cut-free common knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2475436$3B7C0C52-71EB-44AD-8DDB-A0552DCCB651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d761c9d02e1d5eaacefdfce62b641843f1c1d9f1","datavalue":{"value":"1144.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475436$C6368232-2330-41BB-B256-3E22E3A744EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$6F20F2EF-7536-496A-8525-7EEDE0C074EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c479a9f1686abd486f65026c3c559418daab520c","datavalue":{"value":{"entity-type":"item","numeric-id":941441,"id":"Q941441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$FDD40FF6-B411-4352-9C0C-42CD9EB255BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$CDB575B6-390E-4607-94C1-FDD214CF3AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$B257ABB3-EE2B-4863-8851-BBC569BC0829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2475436$45B5EEC0-1669-4414-A11E-C91D4ACC99D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abe50a2158d0c6539be7fa20c8ec28ac16a41db7","datavalue":{"value":"https://boris.unibe.ch/26452/1/jks07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2475436$7BBA6EA1-A541-441C-A842-A33D73090348","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1db6a93ca82bff78050e5389822d8048692c9d3b","datavalue":{"value":"The following general schema is applied to the logic of knowledge. Let two connectives \\(C,E\\) in some propositional logic satisfy \\(C\\alpha=\\&_m E^m\\alpha.\\) Then it is natural to postulate an infinitary inference rule  \\[ (\\omega C)\\;\\text{From \\(E^m\\alpha,\\Gamma\\) for all \\(m\\) infer \\(C\\alpha,\\Gamma\\).}  \\]   It isoften relatively easy to get completeness and cut elimination for such formulation. Suppose one also has the finite model property: if \\(\\alpha\\) is satisfiable, then it is satisfiable in a model of size say \\(2^{l(\\alpha)}\\). Then a finitary restriction of the rule \\((\\omega C)\\) that is complete is also cut-free complete:   \\[ (\\omega C)\\;\\text{From \\(E^m\\alpha,\\Gamma\\) for all \\(m\\leq \\text{bd}(\\alpha,\\Gamma)\\) infer \\(C\\alpha,\\Gamma\\),}  \\]   where \\(\\text{bd}(\\alpha,\\Gamma)= 2^{l(C\\alpha)}+2^{\\gamma_1}+\\ldots+ 2^{\\gamma_n}\\) for \\(\\Gamma=\\{\\gamma_1,\\ldots,\\gamma_n\\}\\). In the present paper \\(C\\) is common knowledge, \\(E\\) is joint knowledge. Open question mentioned at the end: find syntactic cut elimination procedures for the systems considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475436$83812ADB-2ECA-48BA-9EBD-36B041C6D70C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475436$7B929220-E021-4FC5-89D0-BC5258C908F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475436$545FFC4F-8F12-4208-A135-5DB23162C872","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c29f847e137c9a67c853c4769c1a8eccbdb091e","datavalue":{"value":"5246795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475436$2DA52C61-4EAE-4CBC-8EFA-B8D8B22E3FAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14113be93715ebdbfc72ce3a626ddb6aa94be0c","datavalue":{"value":"epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475436$B2E731E0-D41A-4D2F-BF3A-F470BC4D4B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d1aed7c062afb4431d569a3370aeecb07218df","datavalue":{"value":"cut-free deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475436$BCB4FA65-5ADB-4680-B8C0-0867C0B8A8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475436$1E4AC419-6D16-4E87-A983-EA306F5DE9A2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$A05DD705-133C-4123-8077-074523185D5F","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":"Q2475436$2400CF64-FF41-46B7-8A01-ADA55EB88A1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6560616b4acd9f170538513782cb5bc1b0ee74f1","datavalue":{"value":"W2065463946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475436$71CFC80F-FEF0-426E-AA04-49B5AD5F9102","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$C27FF78D-F3A6-40DF-8FD7-DA10A248B617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ccc61efcb085fe3e872575861359d0883804f7","datavalue":{"value":{"entity-type":"item","numeric-id":3483262,"id":"Q3483262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$7F5B7C17-D5BE-4DD7-BC4E-E2677CF81F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$B685E9B7-206E-4978-8893-FCC676E353A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$0FD15D13-6C68-42AC-9C40-1D097DF8C3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$89D0D556-6BBB-4018-9E86-500DF3ABCDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475436$26EC7E4E-D4A3-41FF-8663-E31AE3D202DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71ee57c0160e0dcde656e84c944de93bc1e1b110","datavalue":{"value":"10.1016/J.JAL.2006.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475436$0CC545E8-C017-4CAE-841E-5CE29E93C4DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda7bb88146d79022676266ce860752d2c5119d3","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225e06933c4f8c2677e0e1fbec59e4a19009c4c4","datavalue":{"value":{"amount":"+0.9166377186775208","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":"Q2475436$C00A157D-1AD1-4A28-8DEB-28D56B7BC02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0bf6641ae10c23cf55b0e222b2df7fa6133383","datavalue":{"value":{"entity-type":"item","numeric-id":1024553,"id":"Q1024553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e06985df2d663cef2184e631b950b66cc5f47f","datavalue":{"value":{"amount":"+0.8747893571853638","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":"Q2475436$92AAA7D4-AD05-4CC1-B003-A2ACB76EF393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361718c2db0e951115b7ee4ebf37bb3124a74e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4982123,"id":"Q4982123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74780175df15fbb97dbc9462e1ee6c2524cb514","datavalue":{"value":{"amount":"+0.8746480941772461","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":"Q2475436$34898CB0-5343-43D4-841A-F0E39B97EB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8835512c63d7b9392bf5acafd68a165d5733fd56","datavalue":{"value":{"amount":"+0.8699295520782471","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":"Q2475436$B3FA9161-4BFC-412D-9DA7-3164C6E52891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0f2abe9e540ba588086fc9f58ba9b0b4f553","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8864b444ba4fd253177b1ca449fd3f98ca69333","datavalue":{"value":{"amount":"+0.8434219360351562","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":"Q2475436$10B9AE91-FD98-4C8D-9114-32A958BE9E13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2475436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2475436"}}}}}