{"entities":{"Q454385":{"pageid":456152,"ns":120,"title":"Item:Q454385","lastrevid":61992174,"modified":"2026-04-11T03:02:43Z","type":"item","id":"Q454385","labels":{"en":{"language":"en","value":"Dynamic modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088857"}},"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":"Q454385$05019DD4-891F-46DF-8668-8465399F0936","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8fce154ebe375c56e6487578e83e1ce9872164","datavalue":{"value":{"text":"Dynamic modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454385$C0A9AD99-2347-438D-A720-394BF8F4BDEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a32c146546741f5c81bd0e1ff26c465d45ed5b6","datavalue":{"value":"1257.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454385$B50FF7F2-688F-4D3E-9E3B-E1D9A7C1D540","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454385$88829287-7367-4139-A544-3FEBA722B099","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":"Q454385$69AE7E32-EA36-40B0-A7A7-4E231EBCC03C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454385$B57A796D-67D0-4AAF-9E35-BCB1853F1680","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec606decf110dbdb6112a874f7df76dad9ce6fda","datavalue":{"value":"The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.  There is a strong similarity with propositional dynamic logic, which is discussed to some extent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454385$2B22D64E-6480-4152-86E4-E1C4FEB5D72E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454385$18D6D97F-42F3-4CDE-8EE6-A670C95DDBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454385$0D2099E8-EED3-4363-AAD6-D11013E1E0B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e24e85e0cd644901020ca4c056161cf5f9167d1","datavalue":{"value":"6088857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454385$22181B99-58C1-45CA-86F6-61416E02AA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454385$91A009A5-001C-4345-86E1-74F21FF5A98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454385$957D2C19-D3D8-4765-ADA1-4B09F2186A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"472ac7b9505603b37ec6cbeefccb042bd4f8440a","datavalue":{"value":"dynamic modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q454385$1C1F80DB-AFA6-4551-9A8A-B571A46F1F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q454385$D8715EA5-EF2B-4A03-A494-C39A8C983719","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454385$EF79AA82-8B91-4D9B-A7AA-5674C6D4A99C","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":"Q454385$04F10C89-656B-4715-A7AE-E39244355690","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65d902a2ebac151425ee5596d81879f7a967c1b4","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9383-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q454385$0BEBE246-B5BD-4C30-8FFD-BA4A3DEA288A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"812d6ef2a91f9055d564236402d2fc00e94f7986","datavalue":{"value":"W2912613870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454385$AB51C6A0-A7A1-4302-A805-9632F134EF1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454385$1917AB1A-A393-48A2-BB98-3218286E33EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f54e5053a00f2c00c3700c9403f181f557ef750","datavalue":{"value":{"entity-type":"item","numeric-id":5948141,"id":"Q5948141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454385$C52C306D-134C-45CF-9C9E-899A7FB9BA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b390e2f1d34816baa64192ee21ef7ed13f1018","datavalue":{"value":{"entity-type":"item","numeric-id":3643317,"id":"Q3643317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454385$F2E46E37-C696-4924-9207-20E96461BB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749510ee2a6b12adbceb9dcdf77bd7f4168d3645","datavalue":{"value":{"entity-type":"item","numeric-id":3065016,"id":"Q3065016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454385$B4D9DCD3-A341-4CD0-82D1-210CD53F5FE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d092be3494f0d7cbe86885424408afb92f3e3e4","datavalue":{"value":"10.1007/S11225-012-9383-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454385$0B542B52-5B55-4970-9644-42A04F3D19D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4729bc7ff8f2d04ad13f389e6ad54c44282320","datavalue":{"value":{"amount":"+0.8087457418441772","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":"Q454385$A366C0ED-9135-4D61-B2BB-A48106AEB8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b5c6b13fb9dfe20c7460caedae88988db2c4e2","datavalue":{"value":{"entity-type":"item","numeric-id":3677739,"id":"Q3677739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3464d65d1bf3dee565d03ffd06a42df3deb6359d","datavalue":{"value":{"amount":"+0.7778317332267761","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":"Q454385$BDEA8135-170F-4617-B996-96A3AB3D5E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d64f7cf5a4a8bef95f15d019d7e2ebc07da1af6","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8df85c0570029a5813cee02a04dfc5326e6724a","datavalue":{"value":{"amount":"+0.7682667374610901","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":"Q454385$DA55E69A-20E4-49D5-A689-67B6E2C8D7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cee13b933501a840e0563ffba6f61f83ca0188","datavalue":{"value":{"entity-type":"item","numeric-id":4817192,"id":"Q4817192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e430b877c8612da76179bd73d060769f8f6bf05","datavalue":{"value":{"amount":"+0.7663856744766235","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":"Q454385$FECA958F-A938-4C2D-9BFE-848C683D0A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4b430be606e38555c56149aa3e102f268e3d33","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12369230af650a564225f82ad0b0ed9de6cbee61","datavalue":{"value":{"amount":"+0.7618116736412048","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":"Q454385$EBF36F81-906C-4994-9F59-C30E6F10797B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic modalities","badges":[]}}}}}