{"entities":{"Q794634":{"pageid":796482,"ns":120,"title":"Item:Q794634","lastrevid":64428633,"modified":"2026-04-11T19:48:06Z","type":"item","id":"Q794634","labels":{"en":{"language":"en","value":"Modal logics of domains on the real plane"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859094"}},"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":"Q794634$B69526F1-077E-4E7B-BE48-A9DA11DFD916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fabcf549c7d98ca2454f8458a1ea6171b92df70c","datavalue":{"value":{"text":"Modal logics of domains on the real plane","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794634$2208A906-7A55-4D8A-8350-5AC74657D7C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecb79fa8940da5409e47581d4859f8d02289d667","datavalue":{"value":"0541.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794634$C81FF4C3-0E2F-4BED-AF6A-3D89F88163E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d49753a7763bc521267df40cae0f88a8fbca16a","datavalue":{"value":"10.1007/BF01418760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794634$0BF9FBDA-3DDD-483C-B95E-722BCFBD6BC1","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":"Q794634$716DF0E9-BF7B-479C-9FF4-967AE3BABF26","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":"Q794634$4C6ADDB8-C7D9-4316-BC65-CC97FCFB7F2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08dd1bc7c5f39db1a95c06452e46f1a2cf821c4a","datavalue":{"value":"In this paper, the author deals with modal logics appearing from the temporal ordering of domains in two-dimensional Minkowski spacetime, which was discussed by \\textit{R. Goldblatt} [ibid. 39, 219-236 (1980; Zbl 0457.03019)], i.e. modal logics for ''planar'' time. With every \\(X\\subseteq {\\mathbb{R}}^ 2\\) the modal logic ML(X) is associated which is determined as the set of all modal formulas valid in the frame \\((X,R\\cap(X\\times X)),\\) where R is the temporal ordering in the Minkowski spacetime. Closed or open convex polygons and closed or open domains bounded by simple differentiable curves are considered; this leads to the logics S4, S4.1, S4.2 or S4.1.2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794634$C8A512DE-523A-4ED1-B0AD-919CBF519E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794634$CA39D724-FB43-4736-892A-2AE8E57E61FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8c79702d9b086cad5e26c162278d70f8d29a8a06","datavalue":{"value":"83A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794634$C0666BC6-9D71-47E9-B481-203F9F1E9013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b0e985d08917e0237e1bbcd8299d1882fc2693d","datavalue":{"value":"3859094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794634$00BADBE5-419B-42D7-9EF9-C00EDAB27183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q794634$1AC6DEA4-1CD7-4840-9085-9D2FF89D1B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q794634$65BB3CB9-B5C4-4429-B664-79699E1A2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a16567339bda069a5ec4ded53573a016ab453ce","datavalue":{"value":"temporal ordering of domains in two- dimensional Minkowski spacetime","type":"string"},"datatype":"string"},"type":"statement","id":"Q794634$4D7FDA34-6C98-4C89-9E46-25E475FCF333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a161b406c036256bb81bb98a03aed7820ac875","datavalue":{"value":"polygons","type":"string"},"datatype":"string"},"type":"statement","id":"Q794634$5FF14511-8A26-419D-800F-3981195C580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ca32db3751f9fe33a1045c61189ae9a1fc8751","datavalue":{"value":"domains bounded by simple differentiable curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q794634$A8EDBDA9-A3BB-4976-9B80-6B7083511895","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$4F7E8D4B-1874-439B-AB52-BAE3760F55BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$F44C9C6B-2C05-4A41-B7AF-92F01055637A","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":"Q794634$681B1112-F681-4812-86D4-2DD754774EDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$F3F88014-6199-4BF7-A68C-AAAB635439D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$3000ECF9-A4C6-43E2-870B-21032122F54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$267902C5-1183-471A-837D-C949A4CBDC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$0CB76567-5654-48E5-9FC4-351E4F52528C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$1E932B29-6041-4639-84AD-8345A9B54E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f74d37195d57f01347814f0339041f54c370eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2556392,"id":"Q2556392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$48E3CCD6-8DB7-4E00-8E79-0681E4694636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001a7511b18b317f9cb424973896a9e2b291344d","datavalue":{"value":{"entity-type":"item","numeric-id":2555065,"id":"Q2555065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$664BD7DB-09BD-4E9C-B095-F07E8BB13FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc82f7ab84df94897466e68ea0e47066c9c6b37a","datavalue":{"value":{"entity-type":"item","numeric-id":1150600,"id":"Q1150600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$89B28F75-D894-4591-93BE-282AFE45D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec705839bae889ba2c2362fbe10d82e23d257159","datavalue":{"value":{"entity-type":"item","numeric-id":4179004,"id":"Q4179004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$367B4DB4-EB5A-4FAE-B382-5083AD61F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$ABABFFD3-27A3-4A2B-857A-F8B8290BCC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88392e2d96e6b20b42940bf56c1735eaf4e5420","datavalue":{"value":{"entity-type":"item","numeric-id":3291034,"id":"Q3291034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$7093C9DA-C3FE-4728-8BE0-705C7A7D787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ba3a9005fa36975f18f0579830b291d3bcc59","datavalue":{"value":{"entity-type":"item","numeric-id":5643953,"id":"Q5643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794634$089E2740-CDAA-452F-BF3F-BF05AE41A927","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":"Q794634$98F151A3-A981-4473-95C9-336514AD8CAB","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":"Q794634$80FA0C50-8BA1-4620-BA1B-C68F606B71C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"414158f9a0d0abf1aae93facfa9df6fcc493b1d8","datavalue":{"value":"https://doi.org/10.1007/bf01418760","type":"string"},"datatype":"url"},"type":"statement","id":"Q794634$A79B2C1C-B60B-4257-A85A-499E15E03526","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cedde78860007b1a730d792716104d699dc50f0","datavalue":{"value":"W1965449504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794634$2E3F32E7-466C-401D-A299-D297C4065B5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83934cb7c0b991fed70214d12d7682d44aedf714","datavalue":{"value":{"entity-type":"item","numeric-id":3647279,"id":"Q3647279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f350cfe221d3063ff09ece8cdab078e1ec294043","datavalue":{"value":{"amount":"+0.9112823009490968","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":"Q794634$28109513-5CAF-4242-AB7A-B9EF747422C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133f4171213ce0fd9cbbd5624ea3b03d477a4acc","datavalue":{"value":{"entity-type":"item","numeric-id":5696309,"id":"Q5696309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d328e72ddb6451f1dfc82818de2e63121226d1","datavalue":{"value":{"amount":"+0.8289698362350464","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":"Q794634$78BEFF72-B527-4255-AD49-43585326AA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2ab2145750a8f5a1c993555046d6a8ac223a5f","datavalue":{"value":{"entity-type":"item","numeric-id":927480,"id":"Q927480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e49652502d30a0af7b461dd8c3c6ac34c6e4fb","datavalue":{"value":{"amount":"+0.7903261780738831","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":"Q794634$F2345CC1-D7F3-4AA9-AE23-C01EC9DB44E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29185fd489f9b91f7f82af6ae0ee496c123b623c","datavalue":{"value":{"entity-type":"item","numeric-id":5311049,"id":"Q5311049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2b4a799a545f6e22c3c4fb5b76675d0f8aba10","datavalue":{"value":{"amount":"+0.7876913547515869","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":"Q794634$A0508308-0C7C-4ED7-9CB6-3D342CDF61CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6371ff8bbacccfa6f0830357e71f12cabf33e0f4","datavalue":{"value":{"entity-type":"item","numeric-id":5937837,"id":"Q5937837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84d860b214e429264376163c4521be2217f71fd","datavalue":{"value":{"amount":"+0.7739383578300476","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":"Q794634$AC3ED808-1ACE-4098-A876-98683624C415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics of domains on the real plane","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_of_domains_on_the_real_plane"}}}}}