{"entities":{"Q622627":{"pageid":624403,"ns":120,"title":"Item:Q622627","lastrevid":78524060,"modified":"2026-05-06T11:47:54Z","type":"item","id":"Q622627","labels":{"en":{"language":"en","value":"On the proof-theory of two formalisations of modal first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5844661"}},"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":"Q622627$DD493868-C2D4-4CDD-8865-857A81E37E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cdfc8ff09147e9ab8e28384807155e28a58b5c7","datavalue":{"value":{"text":"On the proof-theory of two formalisations of modal first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622627$D0EAF6F5-B544-4016-8869-BD87B8DA7576","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"588579fe4d004d60fd49ae5bba4680b5f0d1efd0","datavalue":{"value":"1218.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$694B1704-11B7-40DF-8B64-A5F743E78CDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b3d1eedf128821437f51f7ff3df70ad0484d9f","datavalue":{"value":{"entity-type":"item","numeric-id":622625,"id":"Q622625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$BB0DD51E-F974-4FE3-A42B-C530F50FF33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$711858C0-DD51-4BBB-B350-230750ADB2BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$CBD5263A-E0A8-414F-B314-7075EA6E3304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00e3a9eccfe5d0e74245ac3c66cd13d7e27c78b","datavalue":{"value":{"time":"+2011-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622627$806018C0-1EF9-4888-BD0E-972FAA7C5DA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9483b5e56a831210289e0a5af5aff1a4fad40cf3","datavalue":{"value":"Tourlakis and Kibedi introduced some modal first-order logics for a modal interpretation of the provability of classical logic. In this paper, a Gentzen-style sequential calculus is provided for them, and shown to enjoy the cut-elimination property. The modal logics, which have been given in a Hilbert-style axiomatization, are shown to be translatable into the Gentzen system (repspectively in different ways), so that the results obtained model-theoretically in the former works are reconstructed by proof-theoretical means. It is also proved that the form of ``weak reflection'', one of the results thus obtained, is as strong as possible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622627$BCCE0F4D-06C3-47FF-ADA1-A2644830C045","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$85655763-21B2-4700-9ADC-2E56039AA599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$A506B318-6A3F-4375-AD64-45492FF359C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$DA3B470B-C499-41EE-AEB0-7FF647A7323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$49F0BF55-AAE7-4F8C-AAF6-8B62BBB42D1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9817cffef4ffd70401591be609f0196c2bacab84","datavalue":{"value":"5844661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$81B4D934-AB28-43DA-A9DD-AEB045995B26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3554b758566c130bc90a189e19f3a0829fe99908","datavalue":{"value":"modal first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q622627$C66EAA8A-6734-4C8D-B819-EAE766F0BCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q622627$0AAD3173-8D95-4B7B-95BF-4BFC6345C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q622627$27776FC3-F9D2-4EC3-9693-846637B45002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5e95c0d57edac68300994a152a990afd80b775","datavalue":{"value":"reflection theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q622627$90F38EBB-403D-4DD6-9D45-593780432956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220d127fda451d8208efc8c5b0cdc04309212266","datavalue":{"value":"modal interpretation of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q622627$66C5CDBF-A7F5-4E5B-AC42-F436C253E5DB","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":"Q622627$AC91D375-460C-412C-9FD4-D5346EDD2220","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86938743dff58e9cfeb5d716eecc30dea68fd68c","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9294-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q622627$228FFE35-9E13-4D2E-8738-C65925F60E02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15367f9f8f34f49c39f73f19153dc167a445a877","datavalue":{"value":"W2095441824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$C3281859-C3A8-4702-8A56-3729C29B9BD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$9C0BA5F4-FEC3-46E8-B80F-DD3A184B0F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$8C19EF16-3220-499C-AE88-2E3631D555EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e938b6c36efbb88e50a5c1bed15645900d539f51","datavalue":{"value":{"entity-type":"item","numeric-id":3433107,"id":"Q3433107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$72710830-242F-4A14-BD38-039816583812","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":"Q622627$90F5C6F8-F059-4880-8259-33097C577B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$735F3C13-4FDB-4461-86FF-6C2D133C767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd198fa0aa37fb2392dcf32d814181a1e152092d","datavalue":{"value":{"entity-type":"item","numeric-id":4729754,"id":"Q4729754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$DB45D813-C3EC-4895-9DC9-E43F21BB407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$EC84F1C5-BD87-4620-979F-E694955E560F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$9A005392-143C-4E5E-AF69-2239A7F4F3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$0454B750-0F52-4166-88A4-18025D089C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$97273C84-F5EE-4A32-B3C0-5569AC46F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$0C9C342D-E873-43B1-8C7B-D828B873C613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bcf60c009d6eae57088e2445535fdd849feca48","datavalue":{"value":{"entity-type":"item","numeric-id":4787441,"id":"Q4787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$0F9F9CC4-5CBB-4AF7-80F4-EEE717EA4196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe4c2bf7468da396438646006b89e8e18ed969a","datavalue":{"value":{"entity-type":"item","numeric-id":4812323,"id":"Q4812323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$58875259-C8A1-4ECA-9401-C47DE2CB1335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798dd21aa20d80499af7867eee07c025f527e86f","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$19C489F8-D2DF-4257-8022-F38AE01487EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622627$E895A38D-2768-4729-BADB-12134922CFAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae9427418d832dacde7dc5ba4d85ef7306a8433d","datavalue":{"value":"10.1007/S11225-010-9294-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622627$6FF7F6DB-B705-4E7F-93D0-2E5A145DC75C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918679ab8d939d52a5a76803cd6ec1a2b82b030f","datavalue":{"value":{"entity-type":"item","numeric-id":2810127,"id":"Q2810127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c96d03bf83c500c0e4c8bad3d1bf16c1844e250","datavalue":{"value":{"amount":"+0.8147053122520447","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":"Q622627$81E42B8B-80BB-4178-A693-A6AA7EF61E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44900fea966451a6666b697ebfa2032f7c577d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5413353,"id":"Q5413353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed901cbce3ff041aa1f64ba7247ceff49bebaa2","datavalue":{"value":{"amount":"+0.8061081767082214","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":"Q622627$C35EE205-B789-45F3-BB3B-7428EBDCB5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e7fa814db69e4e837d904344551cfb9f61dec","datavalue":{"value":{"entity-type":"item","numeric-id":1708100,"id":"Q1708100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6094bde9a05dee67d8439b578b8c401055252c","datavalue":{"value":{"amount":"+0.7794427275657654","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":"Q622627$865679B2-A7C7-47B2-A232-26A1479EDEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4add87124e54c39c7325afb40780d4cb0b67e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45581083b7c7f6e3bb6a0827a6ec0f4d417f78aa","datavalue":{"value":{"amount":"+0.7771367430686951","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":"Q622627$640DA1B4-0D39-4FE0-9189-ADD6621E6526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bdc79557cd2edf6ee29e757de8f2027807c5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812323,"id":"Q4812323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa82feae0b4684874fcff103278cead20329e24f","datavalue":{"value":{"amount":"+0.7740551233291626","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":"Q622627$95673425-7E7D-4535-A2AE-13477A365476","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof-theory of two formalisations of modal first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proof-theory_of_two_formalisations_of_modal_first-order_logic"}}}}}