{"entities":{"Q798647":{"pageid":800495,"ns":120,"title":"Item:Q798647","lastrevid":48739747,"modified":"2026-01-05T18:21:12Z","type":"item","id":"Q798647","labels":{"en":{"language":"en","value":"Modal tableau calculi and interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871325"}},"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":"Q798647$DE7B4A82-8593-4E3B-A332-02FB7A4E0300","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18fce2bb833c4c00c4ee9b508ae7f4c42e1fe7ab","datavalue":{"value":{"text":"Modal tableau calculi and interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798647$D29F1214-F495-4AF5-82FF-A9501E9FCF95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33ef25a5f1be8fa51a9b5338ca5aa37d6af21669","datavalue":{"value":"0547.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798647$408D58E9-B32C-4832-8C29-80B30704E2FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82650a06b3d9c8fa4fecc26f8cd0d486d67d7428","datavalue":{"value":"10.1007/BF00249258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798647$A08B8239-386B-4256-9725-F843A69C5F49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$2623754E-E22B-48AB-AC42-F7423BB3B467","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$37DF41DE-52B5-4FF3-AE0B-57C7F1E1A359","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798647$C58A2E95-9014-4A7C-8697-C29A072FC13C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"203199d16efe9fdeec1aa74f98fad6612bfb659a","datavalue":{"value":"The paper shows that all the propositional modal calculi over the language whose connectives are \\(\\neg\\), \\(\\wedge\\), \\(\\square\\) and \\(\\bigcirc\\) (falsum) and which possess a complete tableau system have the interpolation property, provided that the tableau rules satisfy certain conditions. These conditions include a wide class of normal modal calculi. The author also presents tableau systems for several modal calculi (including B, K4, G, Gr and extensions) and proves by constructive methods the completeness of those tableau systems with respect to appropriate Kripke semantics. It is shown, specifically, that the finite model property holds for those systems, which also satisfy the remaining conditions for the interpolation property. The problem of the existence of the interpolation property is discussed for various other examples, in particular for some classes of extensions of K4, G and Gr.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$05760481-90C0-4924-9BEC-A8F96248501C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798647$5E68D146-6747-4C3B-9031-E70B8C13E306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798647$F0CDAD9A-95BC-44AA-ADBB-A09319F0B6A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8c1ba6cf8f9ddeb13ee86e81d3d7aa21cf2293","datavalue":{"value":"3871325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798647$A180DBF2-8D01-470F-AAFD-C3D969951497","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001be8f6fd4f64d565225466feb56ff2e8e43b53","datavalue":{"value":"propositional modal calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$659C9575-7939-4A54-9407-08C82860B53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$9AD7BE1E-162C-4BD3-9C61-C192191BB0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$672DA7A2-F2B4-44EF-925A-EA96D6297939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1f3cfb04c9fd6f724b8eea9985e522c29b20d8","datavalue":{"value":"normal modal calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$9C870C10-5367-4853-BEEA-4A6DD4775220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$52B99D18-C52C-4999-978F-EB70C91300A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q798647$8F75898E-7DCF-4842-A89B-9072A02DC01D","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":"Q798647$8A3E22FB-3377-425A-A56D-D0151C371139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$EDA2F2D6-A0F6-4198-BCD6-9453B211E4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a37d2822e51e5b6d30fa7a8fa9421c5332b540b","datavalue":{"value":{"entity-type":"item","numeric-id":3927210,"id":"Q3927210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$4AE73506-5D22-44D9-84FD-52D12E8849BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a084492b6c511dc051f5e0b718a2fc1f4adf14f1","datavalue":{"value":{"entity-type":"item","numeric-id":4774043,"id":"Q4774043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$895F4B66-74DA-4FCE-BED7-1D27958565CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$C6D57839-F38B-4EAA-A801-45C7148A32E3","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":"Q798647$520C4E5C-7F16-4EA6-9E2C-4B469E731A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$6939CDC1-216C-4B44-A24E-52D5EF522071","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":"Q798647$DFB47D4E-FA26-4042-AF7E-A1CF114C05D6","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":"Q798647$1475EE5D-F9B0-44B0-82CC-9A0A119ABF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$C76FBA62-0801-4BB8-B835-D8E7FF1041FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798647$AD75DA4E-D377-47A2-A6BC-96F1B5E2662D","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":"Q798647$4F2E6431-732B-498C-971B-76C50586B629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c6053db0fcff5698b9b205acc4624bd1e3ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5955621,"id":"Q5955621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f9df1fb1cd76c8094de050f553321286ab672a","datavalue":{"value":{"amount":"+0.820875883102417","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":"Q798647$621B83E7-9E97-43A3-A8FD-7C473163303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4622a436a67ce00dcbcb619d760f799b47b303f","datavalue":{"value":{"entity-type":"item","numeric-id":3510444,"id":"Q3510444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220c5edb6c03b9a0731b0f66d9de5dbbdacaa848","datavalue":{"value":{"amount":"+0.7999193668365479","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":"Q798647$C5280D50-E0C9-4930-9218-964294316C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae20821f5bc3e90021213f5b9c530dbe42cc8a","datavalue":{"value":{"entity-type":"item","numeric-id":431717,"id":"Q431717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3992d9602be6ad16a1a0f5f67335b5bf2fd0becf","datavalue":{"value":{"amount":"+0.7953664064407349","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":"Q798647$52C08277-3240-48E5-A5A3-327F97EC5C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3257705da6e6f66c7382979e2a09e49bd780c0","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2100f2069871bed3bc03a484ea186c509525a5b7","datavalue":{"value":{"amount":"+0.7856811881065369","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":"Q798647$68B00ADD-D619-489E-B36B-4DBFC1F4582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67232ceff77abb9cd80825d5cae020f93df0effd","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2100f2069871bed3bc03a484ea186c509525a5b7","datavalue":{"value":{"amount":"+0.7856811881065369","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":"Q798647$0A4AFE6B-F228-44C2-A036-883072917BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798647"}}}}}