{"entities":{"Q2568340":{"pageid":2579083,"ns":120,"title":"Item:Q2568340","lastrevid":48566137,"modified":"2026-01-05T05:56:47Z","type":"item","id":"Q2568340","labels":{"en":{"language":"en","value":"Combinations of tense and deontic modality: On the \\(R_{t}\\) approach to temporal logic with historical necessity and conditional obligation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213062"}},"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":"Q2568340$03979E48-33E3-4004-9091-F49CACA67FBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"988678bbdccb836e9a229b1ed564f8433bcf03d8","datavalue":{"value":{"text":"Combinations of tense and deontic modality: On the \\(R_{t}\\) approach to temporal logic with historical necessity and conditional obligation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568340$AC9D02BA-A756-47ED-BC07-451B6BECAF2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691017b2513c2724b1466bbeee6a8194be7b3201","datavalue":{"value":"1081.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568340$60D4085B-FEF8-41DB-9DEB-DABAF4F1391D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71515fad67bfb9668754c82e5924582179bb4e93","datavalue":{"value":{"entity-type":"item","numeric-id":969424,"id":"Q969424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$B9C028D7-FF2A-4804-AF57-6264894C2FBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$E0FC5A0E-DF95-454F-AB06-AED49A51E995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568340$2927860E-4093-421A-9956-A2FF4B609ED7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"038ff745c6d8eeaef726fb47d878cc232c8b7f6e","datavalue":{"value":"This paper presents three hierarchies of `two-dimensional temporal logics with explicit realization operators'. The first provides the basic temporal framework, in which the two dimensions are one for moments in time and the other for histories or worlds over times. The realization operator, \\(R_{th}A\\), expresses that \\(A\\) is realized at time \\(t\\) in history \\(h\\). This allows reference to times without indexing other modal operators. The second level adds a monadic operator \\(N\\) for historical necessity or inevitability (truth in all histories), and the third adds dyadic deontic operators for conditional obligation and permission as well as a set of `frame constants' that represent levels of value or perfection. For all three levels, logics are defined both axiomatically and semantically, and strong and weak soundness and completeness theorems are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$BD682CCA-F8F0-4CD5-B9C6-90A94575F0DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568340$9CD20C92-E1E3-488B-BA26-3D77D92FABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568340$45EBF507-86AD-467B-9031-2B377A0FFAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32c476771bc7d1ebe6b86b60b8cef08973ae23f","datavalue":{"value":"2213062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568340$97F10D59-9936-4DD1-B600-AA9825CC2C6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb7840eb25545de88428e9120307a30412fa1e0b","datavalue":{"value":"branching time structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$D72794B4-1D71-4CCC-A0AD-62F193301729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e127936c082cc4201d99a5e11683761ba1cdbbb","datavalue":{"value":"realization operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$09D15392-0291-41AF-853C-4E147C5A3096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244e92bce6441a154025ebfec5658abc1b68c9a9","datavalue":{"value":"historical necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$45CEDE78-7827-47E1-A26F-220D9A6DDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$4EB1F1AD-2995-458C-903E-4D593285AF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bfb7e7ae30c1050036f56ce461deb9cbe06d06","datavalue":{"value":"conditional obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$B201DD8B-10AB-4F29-A3F8-FD1544FF4DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568340$4E2D26AF-87AA-47F8-97A5-DE897AAC80D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$9D81AF4E-0E3C-4FD5-85A5-E64FD320EF30","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":"Q2568340$A96F11B1-C5B0-4291-BCC2-3AEFD42549C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39e8e51ad3a46db19dc7607d75d6ac4f372419f8","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568340$D6C0E701-8DCA-439A-844F-6881A91F2B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6a45341a1d35cf57843d5f817bb32fac95aab6e","datavalue":{"value":"W2021847377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568340$45B2FE72-527E-4187-BDCC-143F27CBC9F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e14d02b8103e41ccd03b5b5b8edaf834bcd737a","datavalue":{"value":{"entity-type":"item","numeric-id":4314066,"id":"Q4314066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$AD4BCFD1-EFD3-4CAA-B1A9-866876601A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d5c8f4c565eef175245b8610c8bde93def6be9","datavalue":{"value":{"entity-type":"item","numeric-id":4394894,"id":"Q4394894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$1421B79E-50A1-4F8E-AF47-9DCFAC4557FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7fd9c49d6ab72a292d7f8b16013ac8f8ccc06c","datavalue":{"value":{"entity-type":"item","numeric-id":2718309,"id":"Q2718309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$3E072013-CF14-42E0-BA06-65547DBB0C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89bb770be3c248fc156719b3628dce1a3cf738","datavalue":{"value":{"entity-type":"item","numeric-id":1868246,"id":"Q1868246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$D181DD91-719C-4A03-AF53-416B7AFF2EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6457844691e675ccba93fff04720711d9e687c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4856971,"id":"Q4856971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$D9F65320-3A26-462C-B2C1-7C2EB45C4C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$96BFE5D6-6E8F-440C-BD55-C95DBEE8869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5672e84c513d2dbb3e68dc0a3f390d92d7078683","datavalue":{"value":{"entity-type":"item","numeric-id":3342525,"id":"Q3342525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$9B7243B7-5D37-4ADD-9608-702C3D210202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65eccfbc8697df514c56fc0b5164f8796af3eea","datavalue":{"value":{"entity-type":"item","numeric-id":1362587,"id":"Q1362587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$343F24DF-B1C8-4D3C-95D1-A89469906270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17063c126f610765d8d937dec1cac7410463213f","datavalue":{"value":{"entity-type":"item","numeric-id":1051631,"id":"Q1051631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$B6521EC9-A87F-4E56-A5F1-8B963FB77100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61e27db31ed39b1364574714033a3e85d7f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":4047530,"id":"Q4047530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$FE1509A2-31DC-472F-9DEA-C58D9B5DD8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$2ADBE424-E2B5-4BD2-B2BE-0EB8843A873B","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":"Q2568340$D19268E8-1468-4A39-AFBC-49DB39871C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568340$0D4915BA-08ED-437E-B28E-3AB26D831856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f58f758a56308d49830cdbd4c4a182db0db24ab2","datavalue":{"value":"10.1016/J.JAL.2005.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568340$ECB8CD2D-1CC1-45DB-A1CA-5B9CC47B1CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8370134e3ce6c9147833e7e1713455a2b5a465ba","datavalue":{"value":{"entity-type":"item","numeric-id":5901578,"id":"Q5901578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fc2778dece7be8d4f9bb72cdfb9c5edf561c86","datavalue":{"value":{"amount":"+0.9644528031349182","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":"Q2568340$05D350CB-921E-41DC-BA92-D96A11D8D5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423a82d482289b20f64a9492f94b8bfbc51527ce","datavalue":{"value":{"entity-type":"item","numeric-id":1303792,"id":"Q1303792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c80f8dfe1057051d004cebdccee3c60f9ff7ad7","datavalue":{"value":{"amount":"+0.8365603685379028","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":"Q2568340$B0E5FA8A-A4E0-43E0-B006-F92626F385CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b678aeccd5939e9f1ee345969effad5852e227b","datavalue":{"value":{"entity-type":"item","numeric-id":3529355,"id":"Q3529355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a0fb4280ad68aef9b0e5ef429d80f171a537eb","datavalue":{"value":{"amount":"+0.7709289789199829","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":"Q2568340$75B65ECE-BD35-4015-9946-FC00CF255886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1009ce4a920fa12d0aae6b2b961ff85bdbe584","datavalue":{"value":{"entity-type":"item","numeric-id":2751846,"id":"Q2751846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17b112e22a8f431c7f997cf26e6aef5053f9f5c","datavalue":{"value":{"amount":"+0.7633150815963745","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":"Q2568340$B1183F2C-2A77-46DA-BD3E-C48A7BFBA3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c830f24d34e1f484597de2f94a49811a38b8677b","datavalue":{"value":{"entity-type":"item","numeric-id":2987727,"id":"Q2987727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1fab36380a3064d532b1a627958999acae3b57","datavalue":{"value":{"amount":"+0.7573421597480774","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":"Q2568340$A4C39B22-A35D-46C9-BF2D-D7E69F635C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568340"}}}}}