{"entities":{"Q450956":{"pageid":452723,"ns":120,"title":"Item:Q450956","lastrevid":61928370,"modified":"2026-04-11T02:36:31Z","type":"item","id":"Q450956","labels":{"en":{"language":"en","value":"A cut-free sequent system for two-dimensional modal logic, and why it matters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086898"}},"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":"Q450956$0BA9AE92-4606-4B3E-B3CE-574A5A9906F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fdef066eaaf27ca282ad668e02291be3b8391f4","datavalue":{"value":{"text":"A cut-free sequent system for two-dimensional modal logic, and why it matters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q450956$74FAFF06-D3CD-413C-9FDB-43D690157591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0229beca0b1ce1fa6ca54c764193ad768fb9f5a5","datavalue":{"value":"1256.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$746DF7D9-3F82-4E5D-9D5A-1E4D718C9A77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$50C7E1DC-B7B4-4673-B906-9C3F990412B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$94EAADB8-392E-48AD-9C48-B15736FF332E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ff14cc0faaae3f6137e4b5dbfd88aaa86e04aea","datavalue":{"value":{"time":"+2012-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q450956$8E679182-4E3F-4C01-B283-A4D55BAF91C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dba7689c428edd1868f432c99390eeb85510cd6e","datavalue":{"value":"\\textit{M. Davies} and \\textit{L. Humberstone}'s two-dimensional modal logic [``Two notions of necessity'', Philos. Stud. 38, No. 1, 1--30 (1980; \\url{doi:10.1007/BF00354523})] has become an important aid to our understanding of the relationship between actuality, necessity and a priori knowability. The author develops a hypersequent calculus for two-dimensional modal logic and proves the completeness of this calculus for Davies-Humberstone models, explaining why those concepts have the structure described by those models. The cut-elimination theorem for the introduced hypersequent calculus is obtained as a consequence of the completeness result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q450956$CBFB89C4-C353-4535-8481-7985DE7901A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$965A2E05-1744-4BD2-A6CE-B008489F1DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$434A30A2-A35D-4547-8EA6-DA2D99FBC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$7F927C1D-1064-4760-920D-FD30A6E667ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1e34621b6b26250f6f19ee299273a8cf65811c0","datavalue":{"value":"6086898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$6C37007E-71E5-4AA0-BC7F-38A34CA25437","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q450956$0485832B-AC9D-4EC3-A37B-F644C824E378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q450956$1E9493FA-23EE-459C-AD20-44168922E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q450956$88BEF977-84B6-4162-96EF-01D931EDFB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q450956$EB9CB583-8FA6-4CCB-A7A5-DA92C8C3604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q450956$723DB20B-A926-40A1-8FD9-893B69BC2F96","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":"Q450956$56FC2AFA-F4FD-4D95-9ED4-391B80813F4A","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":"Q450956$B3C86CFD-9C5A-4321-ADD5-86549F74708B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"500551b8c98b6478cdf7b67743fdbe87e4112c0e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q450956$7D0B92CE-FB08-455F-BA09-3E2F8421F17B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15cdbe910a81b287f4203d00cbc32d0967e2dbe7","datavalue":{"value":"W2056818739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$B7E91867-D126-467E-AF85-E18D667BDE26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42e51c67b1993a4a74ae069d7c44b9e40c81033","datavalue":{"value":{"entity-type":"item","numeric-id":2576403,"id":"Q2576403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$B4005365-530F-4334-B5DD-3EAAFC7EAE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$C59530AC-B903-4F1D-9EEB-D5AE5BB0B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8396ffc040804b6969e47e9cd073ff2761d315","datavalue":{"value":{"entity-type":"item","numeric-id":5596205,"id":"Q5596205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$4121763D-C1E7-4A23-925A-6865ECA95253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14f2229475ed79b2733027c94f0c357925661d","datavalue":{"value":{"entity-type":"item","numeric-id":1037601,"id":"Q1037601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$839605A2-0562-4908-94BF-320EE8028DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$D810FAD9-8166-4141-979F-A6ACE8FEEA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4fe078402ae4d23269474c9171faf3a7ed586","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450956$0DE9143D-0F55-40E1-8DAC-CE4234289051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9f9bf960b0a6467fc17155599dd5a3daeac26f2","datavalue":{"value":"10.1016/J.APAL.2011.12.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450956$9AEB03F8-BF43-48B8-BC17-149EA9A59159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490779050584460502ba2edab75c7c01484e857d","datavalue":{"value":{"amount":"+0.7682884335517883","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":"Q450956$2AC82C9F-6DEF-4334-AF38-E676E7A6A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4591e9cdf5620eb06b077dedebfc54f40dd663e7","datavalue":{"value":{"amount":"+0.7596409916877747","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":"Q450956$6884E4B8-FC15-40F9-A645-C3A9A49EA245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fcd622129af9328d6ab93f26ef631a870c8ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5065138,"id":"Q5065138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642cbc5a7a3027628d7dfc4afcde23d89684d8a","datavalue":{"value":{"amount":"+0.7512645125389099","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":"Q450956$72FEAA27-7CF9-4E9D-8256-4CBADBA6FD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c5e77df38e50bafcce2f61bba1f450d18502ad","datavalue":{"value":{"amount":"+0.7462986707687378","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":"Q450956$7F8B3EC7-4E75-4480-B806-354197699136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33310595e1574e652ed32468dc0b65f1b05efe40","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bff6281010328ce78dce1c98ae7efdea46748ea","datavalue":{"value":{"amount":"+0.7419203519821167","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":"Q450956$42B3BCFA-6E1B-4688-8D82-CEB3C4CE2E06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cut-free sequent system for two-dimensional modal logic, and why it matters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cut-free_sequent_system_for_two-dimensional_modal_logic,_and_why_it_matters"}}}}}