{"entities":{"Q5960007":{"pageid":8136809,"ns":120,"title":"Item:Q5960007","lastrevid":47767456,"modified":"2026-01-02T15:40:56Z","type":"item","id":"Q5960007","labels":{"en":{"language":"en","value":"Naming worlds in modal and temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727123"}},"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":"Q5960007$F3161997-981F-4C7A-83DA-146ECE976C67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be9cbee131850401060547748009293e3929f1e4","datavalue":{"value":{"text":"Naming worlds in modal and temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960007$E9B61B56-D232-4F51-B3A4-3A37B8B2F7F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02c50430c4478cf0ff25ccc2b05f3e44217a899e","datavalue":{"value":"0993.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960007$10EE42C8-99A9-4844-BA65-9B35EBEC3443","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cdae043753d2eaa7de874a04712fc286a43db3e","datavalue":{"value":"10.1023/A:1013063928696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960007$18FF2F59-4CEE-4695-A5D3-3777DCC8CB1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960007$F753B7C6-624C-4BFA-9AB4-6FA8F5197E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b28d6d9b952c718712c16384bf938de8eb6ffd3","datavalue":{"value":{"entity-type":"item","numeric-id":954983,"id":"Q954983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960007$315EC464-9A79-4479-ACA3-5E603D22E5FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960007$7E658C42-CA33-4EAD-BFE1-86962924FA4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960007$5D2322B1-1B25-4CA9-99A3-DE64CD4A50D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62605dd7d50840f3ae1f44ad913436aa109d59f8","datavalue":{"value":"Predicate modal and temporal logics are studied in which a locality predicate \\(W\\) is added which gives names to worlds (or time points). An equal time predicate \\(D(x,y)\\) is also added which states that two time points are at the same distance from the root. Complete axiomatizations are provided for the systems studied. The completeness proofs use a procedure similar to a Henkin completion mixed with a tableau construction. The expressive power of the systems considered is highlighted by simulating other logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$7FD7C1FA-B269-4A17-8CCF-917AA2F69843","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960007$38FFE4AD-A576-490D-B83A-6F8962D6EFF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960007$22A6B0A6-0E82-4866-A2E4-8BDAE0040ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960007$ACFE00A2-92AE-4040-A712-6B9AB1175686","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54ed1ed7e48e6939b660a19e887e14a4a1d43a95","datavalue":{"value":"1727123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960007$89793041-A65B-4A20-9B7F-4080CBEE9875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2cf96d7e636ece65e4e6d4dc2640da1077e9c","datavalue":{"value":"hybrid modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$8206969B-2499-413F-92D3-932BEFA9B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$A32097B9-4942-435B-AFD4-5647F662C2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$09B23098-E423-4C09-8AE9-2D49291A4E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$0AADB272-5AA1-418E-B57E-9F1BCB868E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8021c7c4550670286b80c54d31a837fa768c7f","datavalue":{"value":"locality predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$FEB341B0-C42A-4430-8767-F9356EDB6C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3068c3f4a45415b9d4e990492980ee8992901a56","datavalue":{"value":"time predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$C97A45AF-4363-4D47-A4F8-E34B20F777E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$E0EC793E-2090-4DFF-BB6D-E75BFA4AC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960007$3F927ACF-0572-4C29-AE90-16587311DB77","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":"Q5960007$64B8F14F-8F28-461C-A09D-9BD6F07F3531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1878e2ad8e5624cb2b4f21fecc9cc6ef85cb55aa","datavalue":{"value":{"entity-type":"item","numeric-id":3815279,"id":"Q3815279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61b1761f047f2185727b29ae1ff5d4685e7fad2","datavalue":{"value":{"amount":"+0.7409237623214722","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":"Q5960007$8FB9EF8C-4C3A-4EDB-85CB-C8B57EF5539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ae077d1b31b667325ab5639ab1270c56272209","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe4f3765e7554981a60c82c6d6cd9a58dfe2a87","datavalue":{"value":{"amount":"+0.7278890609741211","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":"Q5960007$D817B6C1-A1BD-4A94-A9D6-94D2ACC53815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3ab3e475b5a15da18b3313bbcceef5ebe26cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a623e92793d9377294dbe19fcf0f9d4f8560e3b1","datavalue":{"value":{"amount":"+0.7254918217658997","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":"Q5960007$D6812CD6-316E-4473-B954-59CB9FFAC349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13282f0a91f968870800402fa9d537565feacb3","datavalue":{"value":{"entity-type":"item","numeric-id":4238498,"id":"Q4238498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fad246c9301505005041d41081275b8d017b9a","datavalue":{"value":{"amount":"+0.7237688302993774","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":"Q5960007$7A2D3CFA-320D-48F1-9E5B-57E5966D31C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ee6c670a3e349156e0a56d45ca2a363b64436a","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a3304b9fa665757ea1eae0a7b5e66819d94502","datavalue":{"value":{"amount":"+0.7226132750511169","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":"Q5960007$238C5042-BC15-4DA0-A8CB-394728359216","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5960007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5960007"}}}}}