{"entities":{"Q2027110":{"pageid":2037852,"ns":120,"title":"Item:Q2027110","lastrevid":72439872,"modified":"2026-04-14T04:55:28Z","type":"item","id":"Q2027110","labels":{"en":{"language":"en","value":"A modified subformula property for the modal logic KC4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350713"}},"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":"Q2027110$7AF4F943-4DD9-4BEE-AC80-113997E6F0ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e97116d011ec06077ba612dd5a826313a05e4f35","datavalue":{"value":{"text":"A modified subformula property for the modal logic KC4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2027110$7D1BE202-370D-423B-8B1C-798AE5D228D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6222159933ff72e99fbdc8914717419b3b3170b2","datavalue":{"value":"1477.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027110$087368B6-F3C7-4F44-8E23-DB813D8C1D08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$5E263AA7-1D8C-48DD-9D05-69BD3A77EE30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a550d8ac0fd1ac23be3a86dcd027d3648e93751","datavalue":{"value":{"entity-type":"item","numeric-id":266994,"id":"Q266994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$54E18352-DABB-4905-9239-B977D09D83DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2027110$56D67C06-D90C-4544-BE82-7D2F6FA8AA63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c403315589dd9f53aa38fdcdd18921e9b2fdb37","datavalue":{"value":"https://projecteuclid.org/euclid.nihmj/1604718024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2027110$7585081B-5319-4422-9AEB-9DDE7A4081E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4bfdac5fb7375ab819d7528ad6332bc77774d233","datavalue":{"value":"KC4 is the extension of the well-known modal propositional logic K by the axiom C4, which says that double box implies box (the converse of the transitivity axiom known as 4). The author gives it a Gentzen style axiomatization for which he shows that, while it fails cut elimination, it nevertheless satisfies a subformula property that suffices for decidability and the finite model property. The paper is one of a series with similar results for various modal propositional logics; each instance requires a different definition of a suitable subformula property generalizing the standard one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027110$426BA06D-E65C-4940-B54C-3BF82B7631CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$F9CD7BA5-FBE3-445B-AB6D-4FBE4F5F851D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027110$C4C71233-7B0A-42A3-A357-DE9665B4B505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027110$EBF32284-E8FA-479C-BCFB-32865F68227E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"282ca6033aa52c3bfe687bb4a30b9da24627209d","datavalue":{"value":"7350713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027110$FC0BD075-1107-49A6-9777-8D17F128EB36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027110$8A753F87-E9B3-47AD-8C65-5561056B20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027110$A0341C06-3601-4DCD-A28B-433811383B88","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":"Q2027110$A4C7569D-172B-4A48-9E55-044FF93259C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$BEB3C52B-1EAC-4000-A9A2-1AA074820859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2872a65a32e51f278619b314fcb87975d2d0d3","datavalue":{"value":{"entity-type":"item","numeric-id":5632555,"id":"Q5632555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$6E582085-CC7B-45F4-9A4D-6EB0938EA9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$468DB28D-16E5-4A21-A327-93EFF48A78AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$D863CB78-59A3-4000-91CB-111AEA45FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eacc81bf66ff060ee99fa9ba68745c99fbf1f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$3C263B5B-121D-47FC-8F22-E8AA15D3737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a1d06ed85cb002ff60f8b4ae67069993114de0","datavalue":{"value":{"entity-type":"item","numeric-id":5241399,"id":"Q5241399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027110$E8FDCE48-7D10-4492-AE1D-4249DA761C68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e354a97d84b0a451d66b3d0896b39d2abd5a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5147750,"id":"Q5147750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585c0191a5d4c2009e678eeac19ffe79a8e2a2e2","datavalue":{"value":{"amount":"+0.8529584407806396","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":"Q2027110$6B00DF81-08F4-47F9-8D97-C6CF57423EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c6c5d47348ee7cdba704f221f9c1b9e2110c16","datavalue":{"value":{"entity-type":"item","numeric-id":5241399,"id":"Q5241399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b499235f165a7c72471927fa4056f553c001d7","datavalue":{"value":{"amount":"+0.8403635025024414","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":"Q2027110$739C28DA-B327-42B0-9F17-C5535A57FE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cb6d2f44553728d8de4c4d813f0519a52c638d","datavalue":{"value":{"entity-type":"item","numeric-id":4372915,"id":"Q4372915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde12e3dbb1681db8c760145281b8303cde569fc","datavalue":{"value":{"amount":"+0.8049226403236389","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":"Q2027110$274A8F94-AF0C-4EA9-B662-D59B469E67D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85009c47187745fb6733f5ffb59550fd21dedd43","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89133b39e0be02c42184ae804be60209a6be890","datavalue":{"value":{"amount":"+0.7953373193740845","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":"Q2027110$459E2955-03EF-41A5-8901-36DB3C1EAC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810aefee01ccb129939682b375c50ab17abcbd7d","datavalue":{"value":{"entity-type":"item","numeric-id":5126197,"id":"Q5126197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7e8be02dc6d0859423224eada52d48a6142d1a","datavalue":{"value":{"amount":"+0.7872127294540405","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":"Q2027110$86E77381-5C08-4E36-AF6C-9C3DC2C3C2E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modified subformula property for the modal logic KC4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modified_subformula_property_for_the_modal_logic_KC4"}}}}}