{"entities":{"Q2277246":{"pageid":2287989,"ns":120,"title":"Item:Q2277246","lastrevid":49483051,"modified":"2026-01-07T06:09:05Z","type":"item","id":"Q2277246","labels":{"en":{"language":"en","value":"Expressiveness and completeness of an interval tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195905"}},"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":"Q2277246$EF0270E0-FEB7-4DC7-93C0-192DD8748A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc8f047ea18d6964a49d6a73e17e175ec8edf9a1","datavalue":{"value":{"text":"Expressiveness and completeness of an interval tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277246$8D8982B2-3D82-4248-9071-E8C3441E757B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8185cc80073eb449bedc170b3c8ea43ff8fd3459","datavalue":{"value":"0725.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277246$1150BA37-E53A-4FC7-BC2F-10AD8F299A9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277246$510CAFC0-8D44-4BEE-ADFE-0263069F116F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277246$15440D05-1CDC-4C53-92D5-0E583D6D4B7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277246$27EAC7CD-4702-4068-947E-9889EC512648","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6dda09eea8d92de6d5e2c248da9f510a565181c","datavalue":{"value":"The paper contains an investigation of some logical properties of interval-based temporal logics, in particular the system HS devised by Halpern and Shoham. With respect to expressiveness, it is shown that HS has a greater capacity to distinguish ordinals than any point-based formalism. On the other hand it is proved that no finite set of temporal operators can be expressively complete over the class of dense linear interval structures. Concerning completeness of HS-logics, sound and complete axiomatizations are provided for classes like the linear orderings, discrete linear orderings and the ordering of the rationals. An important aspect of the paper is that it treats the modal logic of intervals as a two-dimensional logic, viewing intervals as points in a plane.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$3176BF21-2E8B-4C28-9B3B-7CB90BE584A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277246$E01C3C2E-1D0E-4DDD-8329-A09D146E6F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d92443ccf2cf537648a96d68b2dfb44e052c903c","datavalue":{"value":"4195905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277246$A44699C5-9CC7-44AD-A53C-4706FC66F0BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae0687c401a48daa1c6e7318651aba3e9d2f15b5","datavalue":{"value":"logical properties of interval-based temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$C72FE97F-271D-4870-AC5C-FD68CCAE979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$CB173C89-5785-4311-AA5F-3B6743E6D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$5428486A-0111-4582-9C54-C87C349D8DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31dd018119d71393ec2e9711dedf772ee875db0d","datavalue":{"value":"HS-logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$413D7FBE-7EB4-49D6-BA63-6A044559D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$20DB2287-AC4D-4A7C-9AEF-17275FC05D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa9b5b76efabfbe8a3d7f4943f025b99012322d","datavalue":{"value":"modal logic of intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$54F95722-6FFD-434F-9976-4A1AED713570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e515facfe3fa8da32bd3d3aba40afdf24640268","datavalue":{"value":"two- dimensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277246$32853C60-7094-4C10-8443-85EDC367D8AB","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":"Q2277246$DE54E576-FF2E-48F0-8D50-8E786C8D6492","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b459a744b623eca552c1ca181ca1f23b994bf5b7","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635589","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277246$19AD163E-58A7-4EDF-9843-57BEC354329B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4999bdbaa9bcd090ab3dbab50057683465aa71cd","datavalue":{"value":"W2011132281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277246$C69926C3-F49C-4A86-8BB3-A095E5E72CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d77de82f01f0821b5a3f0aa0cab4051bc30a6ad","datavalue":{"value":"10.1305/NDJFL/1093635589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277246$BBB4961C-A209-40AD-BFE3-3733F0DE3CA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af2c33c81397f6058562aad3ce8178455ea50a0","datavalue":{"value":{"entity-type":"item","numeric-id":266861,"id":"Q266861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54c8d3ece36a43ab1d1dc31e2258b6afd994017","datavalue":{"value":{"amount":"+0.867180347442627","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":"Q2277246$CC79FAA6-3AE1-4A4B-ACF5-A47EE84054AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24d1cfa31363b8909514ca98ec3d7daf55fc3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2938500,"id":"Q2938500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d72e6c0280b8640d15dd2385b559f4fe372d5d","datavalue":{"value":{"amount":"+0.840303897857666","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":"Q2277246$B3287B74-2E8F-4DF1-B3FF-BF40849725BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb68e5eff965b5af68d0f1ec4f79da0d3750ba","datavalue":{"value":{"entity-type":"item","numeric-id":3457215,"id":"Q3457215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab65d78c2979d6ec2bea987820cd7eef9fd58f5","datavalue":{"value":{"amount":"+0.8307802677154541","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":"Q2277246$21781B61-9F94-4A39-ACBA-D92F40439C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe2baa012abfc02abb8cd27e7a9cbd22a7c7ee5","datavalue":{"value":{"entity-type":"item","numeric-id":6487472,"id":"Q6487472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc590af70f9c7501b6e4b80ab2016246027a3c6","datavalue":{"value":{"amount":"+0.8247310519218445","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":"Q2277246$5A07A342-92B5-4B2C-9D44-0023A988A707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8441b28adaf553142cb17c38363a1511776e77a6","datavalue":{"value":{"entity-type":"item","numeric-id":477203,"id":"Q477203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0a302d7b7fa61a1903e1566f23b2f835736c66","datavalue":{"value":{"amount":"+0.8179343342781067","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":"Q2277246$A372C1FD-3CA4-44FB-A862-D6044871F0D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277246"}}}}}