{"entities":{"Q1797901":{"pageid":1808643,"ns":120,"title":"Item:Q1797901","lastrevid":53243441,"modified":"2026-01-24T13:14:14Z","type":"item","id":"Q1797901","labels":{"en":{"language":"en","value":"Actuality, tableaux, and two-dimensional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6960408"}},"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":"Q1797901$5DF73654-1BC4-4E09-BBAC-19AEDC2A2F51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44a07bc2bb330bd2c908d477ad9937b0c6c7aead","datavalue":{"value":{"text":"Actuality, tableaux, and two-dimensional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1797901$29853859-E707-4BDD-9110-E05CC81610C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"628534461b8fa33785a5c620e3e6ada4f2951cf8","datavalue":{"value":"1403.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797901$DA0C8B43-3AB7-4E08-BA4C-79A03F3735D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be45114eae0e35e9648ed3070aca7b060d86f50b","datavalue":{"value":{"entity-type":"item","numeric-id":1797900,"id":"Q1797900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$D6227A0F-BC71-44AC-8DCA-7DE84012ACAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$B1AC4828-CB59-45EB-8CBE-C4A7ACE711B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc1ec03d92652744a67d558a8c7ef5930869e38","datavalue":{"value":{"time":"+2018-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1797901$56E6F125-6E18-4963-97CF-5E9D83745500","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f422db53516b2741fa57e6d56c174a2449144cd2","datavalue":{"value":"The paper's goal is to provide sound and complete tableau systems for a range of first-order modal logics, of suitable syntactic expressivity, that are two-dimensional in the sense that they are equipped with a Kripke semantics in which valuations are parametrized by pairs of possible worlds, one of which is the world in which the formula is being assessed while the other is a world that is treated as actual.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797901$FA156AF9-9AFE-4486-89BE-E0BBBDE05F0D","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":"Q1797901$2360187F-1FA3-4899-8238-34303BE3A3FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797901$FE73F20F-5637-4473-AE36-6612A4B1C43E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce490f7a4e6a87c852c25e6f5f778695e19d2f39","datavalue":{"value":"6960408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797901$4A03223C-C029-4654-8004-EAB8E23F6400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797901$8B7D27A6-A3F1-4048-A24E-8B39AB43B81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797901$E628480A-524D-4ED5-825F-2B15187020EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f3dca56b5f06e9539c1b7f9097f820645e1a33","datavalue":{"value":"two-dimensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797901$316E707A-61C9-48B3-80CE-0917304A9696","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":"Q1797901$4E9DB7EA-48ED-47D1-A936-5B0CFDE2FABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbea25bd11960e62b85888fd67a06102b390e8ae","datavalue":{"value":"https://doi.org/10.1007/s10670-017-9896-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1797901$632778D8-E7DA-45D0-9A94-ED80879689E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbdc1d00bc7b92ddaf0c31364e1276948d6a8172","datavalue":{"value":"W2621794756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797901$9F1A47D2-16AA-4297-834F-F1AFFEA26E65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0c9b2957333b6180bc92c711337222e7031944","datavalue":{"value":{"entity-type":"item","numeric-id":4348178,"id":"Q4348178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$5506628C-E4E2-444A-A842-8D5DD6F5DD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1886aeef73dd47a8ce559c63bf9a63ee355478","datavalue":{"value":{"entity-type":"item","numeric-id":4170702,"id":"Q4170702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$C8437225-6FC7-43ED-81C3-032AA0B5FEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$0133B8B9-3D96-49D4-B697-A539DF4CD95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$32EDBD7F-56B2-4CA5-B957-548336C3F258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a1601f83207f868e03520b6c79a1b5cc1bcf98","datavalue":{"value":{"entity-type":"item","numeric-id":2441758,"id":"Q2441758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$F93B22F2-1E68-49CC-8120-D2B7D1B35ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969c6bf8af2112f62f70a5bec9ca7b91fa06f47c","datavalue":{"value":{"entity-type":"item","numeric-id":2940881,"id":"Q2940881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$BA222C3E-8390-4A27-B06A-416640BEDE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f24da28e219078b06659ae07a6758f78dac665","datavalue":{"value":{"entity-type":"item","numeric-id":2966525,"id":"Q2966525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$C322DF67-6617-4942-B365-AD25F020F062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9b6d1724f4160b889c7d28e5dc192020568129","datavalue":{"value":{"entity-type":"item","numeric-id":1220491,"id":"Q1220491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$086FEA84-1DBB-4BD5-9889-31E4BDC82D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af67c22ea77544d0a80ce33952138034597d99e","datavalue":{"value":{"entity-type":"item","numeric-id":2377050,"id":"Q2377050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$1765E0FB-CEE5-42E8-B52F-C4CE65648DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1936dfe58ac4dbeedb68575048186e40fd3a40","datavalue":{"value":{"entity-type":"item","numeric-id":792998,"id":"Q792998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$D8B1B144-60B5-4B74-BEDA-99B176F112D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ffba6ae74b4fce5578ce77d87dcc6da10d38e1","datavalue":{"value":{"entity-type":"item","numeric-id":5249684,"id":"Q5249684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$DF39D638-6EEA-4A2C-AEC4-166E9A8DC827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a490102c9628d4ef6982d9eedc11937137a72f2","datavalue":{"value":{"entity-type":"item","numeric-id":3112314,"id":"Q3112314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$671527B9-D92A-4F62-8B76-3944505C7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6925a19c3e3c58745fa8d2d8d7de061312617178","datavalue":{"value":{"entity-type":"item","numeric-id":2218707,"id":"Q2218707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$EFD2DE65-F51D-442F-81CE-F40BAD27B569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$469B3BBE-5681-48F0-8FA2-C2C44C3F1FFE","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":"Q1797901$068AFD50-C5D6-4B4F-9118-A42D2CEF3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$C2D52387-1246-4422-93CC-21BE2FBEEEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$9CBBF3E5-AE4C-4B00-8659-D6C847860800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f809aae188d0d5e18ed43248cff312842c081e","datavalue":{"value":{"entity-type":"item","numeric-id":3459083,"id":"Q3459083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$4B20DE89-F99E-4A7D-B8D9-8CAAFDE97222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee123a43031c6c65df62c46682a1f9d215679b43","datavalue":{"value":{"entity-type":"item","numeric-id":450956,"id":"Q450956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$62DAB279-863B-4004-BFE2-4417ADCDEF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$F112200A-124B-489B-A6D4-02BFCEFB9343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$1108235E-4EB2-4FDB-8472-84EA63BCF748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e132951c9ae0e042a205b053010c50c880c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":817958,"id":"Q817958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$704A4799-0C89-4960-BF3F-C0130EA3AF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12505866355e577e0f8b3d64621dc797ebf5efbc","datavalue":{"value":{"entity-type":"item","numeric-id":704041,"id":"Q704041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$9AD220B9-43B9-486D-A81A-0C18F080BB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3a19205d4858106e7cdaf153b848b3e7ad9b22","datavalue":{"value":{"entity-type":"item","numeric-id":5711935,"id":"Q5711935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797901$0D51C1F5-1B25-4823-B563-5ACBB18540F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba3cb114ed6e88992d2c103721c07bce96b33f76","datavalue":{"value":"10.1007/S10670-017-9896-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797901$1D5E9B4F-FBE6-4BDF-B805-6B5FA8E39064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f940670fc57a55bb06545c75a7c22ba341ce20","datavalue":{"value":{"entity-type":"item","numeric-id":2966525,"id":"Q2966525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf784aa1c6f52a5600337b6d404954b7aa4e49a0","datavalue":{"value":{"amount":"+0.8442517518997192","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":"Q1797901$30DBDCA2-F10B-47F3-BE0A-B90B65D15AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22cf43499b88ff932b8773ccf5365b89756df0a","datavalue":{"value":{"entity-type":"item","numeric-id":2890696,"id":"Q2890696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaee77eb07a0fcdc55b376ba2ebd19bdff551aa7","datavalue":{"value":{"amount":"+0.7885342240333557","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":"Q1797901$ED91F00E-2D70-459D-AEE6-825B61CF12AC","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":"dfd3c17d679c9f24ea1ed68ac2fbe45f83516307","datavalue":{"value":{"amount":"+0.7826374769210815","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":"Q1797901$644E4DF6-3D9C-47F6-BF2E-50DA3413E25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e61853d485395baa65584c6f7b50a5308ce2c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":450956,"id":"Q450956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8dcd44f2ef1a47569a150370d31c9091c995f7","datavalue":{"value":{"amount":"+0.7506852149963379","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":"Q1797901$8CC04933-6D6B-4B18-82B1-EF3A2072AE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902c572750ed0f6607995453dd1a878f2cd4fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5014059,"id":"Q5014059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368a810d6685d7c31c78917678b00a461627f704","datavalue":{"value":{"amount":"+0.7503113150596619","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":"Q1797901$3B842EB3-D513-4909-BE95-84BD988E2212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1797901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1797901"}}}}}