{"entities":{"Q1042695":{"pageid":1044543,"ns":120,"title":"Item:Q1042695","lastrevid":50852402,"modified":"2026-01-15T10:34:55Z","type":"item","id":"Q1042695","labels":{"en":{"language":"en","value":"Cut elimination for \\(\\mathrm{S4}_n\\) and \\(\\mathrm{K4}_n\\) with the central agent axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5647862"}},"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":"Q1042695$7922E0B4-E0A1-4FEE-9E54-DEDA95BA982E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a382a8bf10d8cb3c6bceee62b05c73baf9c33359","datavalue":{"value":{"text":"Cut elimination for \\(\\mathrm{S4}_n\\) and \\(\\mathrm{K4}_n\\) with the central agent axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1042695$4CD13878-AC08-4F7B-A707-A9842752F873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d004c7d14be9d6797e66983e9930de87e3aee7fa","datavalue":{"value":"1186.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$DCD1DA50-ECD7-4A2A-9079-C75DC9906F73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$02AC5102-89E4-43EB-97AF-2D80F2E49D70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d265d400060d2e7fb9c5c45adc5a5c7f5f7bbd7","datavalue":{"value":{"time":"+2009-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1042695$A8ADA3C7-4215-487D-BE5E-6F53521CBC1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac31120ee5c2776274f3bb7a0c3b087ee98fc602","datavalue":{"value":"Multimodal logic S4\\(_n\\) has \\(n\\) modalities \\(K_c\\) (for the central agent), \\(K_1,\\ldots,K_{n-1}\\), with S4-axioms for each of the modalities plus interaction axioms : \\(K_c\\rightarrow K_i\\) for all \\(i\\). The corresponding Gentzen-type system admitting cut elimination has the familiar S4-rules plus the interaction rule: from \\(K\\Gamma\\rightarrow A\\) infer \\(K\\Gamma,\\Gamma_1\\rightarrow \\Delta,K_cA\\), where \\(K\\Gamma\\) consists of formulas of the form \\(K_iB\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042695$6A3853A8-CCC9-4A5C-8ED0-16C0FB7A14DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$899C9BF3-4DFC-4475-9383-8EAF37ACF495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$CE0403BB-52B5-4A63-B89B-0BCD3D93E94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$CCE08A8A-558A-4312-8EDB-0DA6C5099A80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3542bd91cd1f225862beafaee60e68b7cb2c4c36","datavalue":{"value":"5647862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$2F3C30F5-365D-4CC4-8290-1FB716126C27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042695$6E4EDD6B-F713-4758-8194-7D759550E54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042695$7D7D11FB-0D83-4162-A7A9-5CC7DBB4806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5917b210d6ac32ead012af7f41190a92debd0cf","datavalue":{"value":"central agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042695$16F5BD6C-C447-428D-85FE-4BE07C29732F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd7188bf72608d603b86b6120c2f36d2e80f3a7","datavalue":{"value":"interaction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042695$DE397287-1682-4B67-A852-CA08C78D2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042695$1412B571-3BCF-40A2-BED8-AEA0D63A7C0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7005f3205c6d572dd273124f42aabb440cb06d","datavalue":{"value":{"entity-type":"item","numeric-id":392987,"id":"Q392987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$0659A9B4-183E-43D4-AE7F-A22A09EB4011","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":"Q1042695$8E6BD01E-7287-4692-96F1-BFB8032DC699","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":"Q1042695$B6886706-6B24-4774-8294-BA45E70F3B61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"900f5598905a5ee202c784a192259e01f0d50068","datavalue":{"value":"https://doi.org/10.1007/s10986-009-9048-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1042695$8E536FFE-220F-4A77-AD2D-9CEBF601F057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd400dfaa56acf5db0434eb8d8701835de64685c","datavalue":{"value":"W2071160214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$C390BC8B-CE61-4697-BEB7-6A679DDE1F7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"848525c08c8ed0377635d5ee273eb652a6e2bc1e","datavalue":{"value":"Q114017482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$0F8D4818-F215-4B00-BE5A-1655C3B71FBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb5037f851962569191306a95268775e451fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5335309,"id":"Q5335309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$7453FACA-B4CF-47BD-A194-82D7D9EE4376","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":"Q1042695$0FA9583B-111C-4A35-97DF-4F37D84BD9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a280291148f2a429f6c3491ebd5ce5b8d1822d","datavalue":{"value":{"entity-type":"item","numeric-id":1843557,"id":"Q1843557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$1501F07F-9486-4CCC-A9D7-E6B47282A296","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":"Q1042695$7FA4087A-2D66-40B2-A358-96FF9232D283","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":"Q1042695$436EC7D9-A955-45D6-9817-9339CED2CB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a62373005957a00a867150e668ac7939bf9ae","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$EDAE2859-E703-405C-8A08-D137D1FC2BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$D10B2D59-56EC-42F5-A7C6-029C0B985F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$218B2F51-3502-4905-9DEC-EA93C2A496E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ae5292e30a2ddd60d22928f17da5df22ebe5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4511251,"id":"Q4511251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$0BF3C0AA-EE64-4FBC-8F0A-2E01CE4A4B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49821ed381a97cd75d73a147e2022ad36627abe3","datavalue":{"value":{"entity-type":"item","numeric-id":5738907,"id":"Q5738907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$CAD0A5CD-8EE4-4400-A045-FF6BED794632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$D6217CBF-8959-4EDE-B8E6-55E1E3B38A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$CBB1E410-306B-4729-A029-15AAAC3B45C4","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":"Q1042695$C3715405-F74D-46DE-9CDB-EA3814781CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$2B9339F6-260E-40FF-857B-86EE935DE81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a2d33523be3ff7eaee3f499d22862085db9c9b","datavalue":{"value":{"entity-type":"item","numeric-id":1815557,"id":"Q1815557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042695$90206693-E180-4D19-BF86-C711673B17C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"676603163798213239b5147a3ad5dba583a44358","datavalue":{"value":"10.1007/S10986-009-9048-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042695$374CEFB7-F9D8-4135-A2B6-4B83B4D43D07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3b678ecd0a113229ee11649dc835472d66c44","datavalue":{"value":{"entity-type":"item","numeric-id":2811590,"id":"Q2811590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dafa408e88bdf1266dd8fa3e19b50d3f07143b","datavalue":{"value":{"amount":"+0.87433922290802","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":"Q1042695$8119690D-2D47-4F24-94D1-E8EC363751F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a8cfb01f11f3bb0d919331319620523fdbf099","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf28a8574c76761b6f6f1b448be2287c1cc92bc","datavalue":{"value":{"amount":"+0.7961419224739075","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":"Q1042695$0C1EC468-534B-465A-A009-97BFA2E38F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6d33d9deca46906e5d4c43b2e5e49039ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":3338219,"id":"Q3338219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843372ba02c9189200e836d2b4b37c25b68626a3","datavalue":{"value":{"amount":"+0.7853004932403564","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":"Q1042695$06CF56C7-2B9C-48D2-8262-4F81BA590EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7541df81298c1bfbc880cb3b2578090a6dba444e","datavalue":{"value":{"amount":"+0.7740193009376526","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":"Q1042695$FEEF0F41-2CAB-4E7D-B975-597275687FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e374fa52a7582aa3c783099b1d6d36fcb72eb000","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9a0f6f3d12e5ae409652d8ebf5fa6fe453f116","datavalue":{"value":{"amount":"+0.7699041962623596","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":"Q1042695$8E431236-EDDF-459F-B0DE-AA1DE90612B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1042695","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1042695"}}}}}