{"entities":{"Q1207436":{"pageid":1218185,"ns":120,"title":"Item:Q1207436","lastrevid":47142820,"modified":"2025-12-31T19:52:52Z","type":"item","id":"Q1207436","labels":{"en":{"language":"en","value":"Parallel action: Concurrent dynamic logic with independent modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149699"}},"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":"Q1207436$B45237BE-919A-41D5-A117-38248B69792C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09b67455f59ef8b15ca6dee86d1af5bd9bee33ca","datavalue":{"value":{"text":"Parallel action: Concurrent dynamic logic with independent modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207436$0BBA701E-D5C2-4DB2-96B2-E4DC880BD9F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c0b6336bd710d62ae7db2e6e4da5db62b2d1459","datavalue":{"value":"0784.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$B8D2536F-C330-40CC-BBD8-94045D6F20D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac380190fae7ffd8e9b8946e8ecdc44a55a144d","datavalue":{"value":"10.1007/BF01028975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$9183C39C-BAA7-4047-9DAF-8F8BD33A5F50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207436$FA0F4E95-7306-4182-9CB7-76B420036CAC","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":"Q1207436$7029C3B6-CD55-4123-85C6-484C8189D981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-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":"Q1207436$4B82E7E8-9E23-41B3-AE0C-4B13C582681B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0be81752a0214e0a972d5c1201001c548438e34","datavalue":{"value":"Regular dynamic logic is extended by the program construct \\(\\alpha\\cap\\beta\\), meaning ``\\(\\alpha\\) and \\(\\beta\\) executed in parallel''. In a semantics due to Peleg, each program \\(\\alpha\\) is interpreted as a relation \\(R_ \\alpha\\) on a set of pairs \\((s,T)\\), with \\(s\\in S\\) and \\(T\\subseteq S\\), where \\(S\\) is the set of states and \\(T\\) is the set of states reachable from the state \\(s\\) by a single execution of \\(\\alpha\\), possibly involving several processes acting in parallel. The modalities \\(\\langle \\alpha\\rangle\\) and \\([\\alpha]\\) are given as follows:  \\[ \\begin{aligned} \\langle \\alpha\\rangle A &\\text{ is true at } s\\text{ iff there exists } T\\text{ with } sR_ \\alpha T\\text{ and }A\\text{ true throughout }T,\\quad \\text{and}\\\\ [\\alpha]A &\\text{ is true at }s\\text{ iff for all }T,\\;\\text{if }sR_ \\alpha T\\text{ then }A\\text{ is true throughout } T,\\end{aligned} \\]  which make \\(\\langle \\alpha\\rangle\\) and \\([\\alpha]\\) no longer interdefinable via negation. It is proved that the logic defined in this modeling is finitely axiomatizable and has the finite model property, hence is decidable. This requires the development of a new theory of canonical models and filtrations for ``reachability'' relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$39C4E941-F375-4501-B172-640BE4F51623","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$45CFADDB-B5DB-4E1F-95F8-D71B1005D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$BBF736B3-1512-497F-808D-8E1690E00688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$DA3B9578-FAF4-4133-A93C-8E49336FB9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$CD204C8C-1C92-490E-9C1D-3499CCDB8A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$5E64AF52-CFD1-4BA7-8FEC-BA420E21BD8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69e3519af56b73730243ae59c007b36f0f296d5","datavalue":{"value":"149699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$B13B2887-58D5-460E-AF3E-F1B3446C735D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c906a0ebc0bb612ccb9f2cf8ac7c10a0d93d241f","datavalue":{"value":"concurrent dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$1C9A7A53-A00C-4401-966A-0B0885AE35BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6624cd6aa809cbeb3aea8d8a5c262cf35436bf48","datavalue":{"value":"parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$DA942E2A-B5BD-4532-90DB-4D5283D911D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$43688819-F259-423E-A5DA-80A24BBFE57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$1B98D82D-8759-4226-AE94-D84DB8644485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$5D9D0712-F76E-411C-AD9F-83B227016E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$40C8613F-CE8B-4244-B60E-485647D94CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$6752E0F9-C8B6-4343-9994-16DEAAD3700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$893B95C4-DF4E-4775-B345-328951D80555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a161b241722894eb06e0e16c8fb1fde6a2513da8","datavalue":{"value":"filtrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207436$069C8CF5-4876-4349-B067-AF86F658CFE8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207436$05F3BF1C-3E79-4DE5-8471-EA3E6080D5D5","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":"Q1207436$57B56CA2-5C39-43AB-A16E-6C3BD2AA72EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207436$29F21708-80C9-4F2D-A7B5-23533D5A4237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207436$A9A9AD4B-7A0B-4BB6-9939-810849898585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207436$7ADCC20C-9C67-4551-AE91-170FA6292E84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d494ae5fe41a5a1ad6469fcdd7cff568f95cb0a3","datavalue":{"value":"https://doi.org/10.1007/bf01028975","type":"string"},"datatype":"url"},"type":"statement","id":"Q1207436$2FC714BD-76F6-4E9F-9744-AE14E13939E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00965a7daf0f9a8aa23d596b80bf8b91c2d13950","datavalue":{"value":"W2046662328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207436$9AF132F6-A9A7-4AC4-80BF-D89216B2DB00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a52ebbc372cbe739882b4620abe92f46499be2","datavalue":{"value":{"amount":"+0.815153181552887","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":"Q1207436$302EE61A-7AE9-465D-8E59-45C6ABB4C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789edbfedc483f4f27be291a26ad57f2645a94f9","datavalue":{"value":{"entity-type":"item","numeric-id":3801527,"id":"Q3801527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69663feba0f3079159832ba9e2ae024276c4031a","datavalue":{"value":{"amount":"+0.8138459920883179","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":"Q1207436$EB1399FE-0587-4811-8A72-2FFCCE5D3E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d883a34b506e2bc76c18ad9bcedf2d31266fd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5277895,"id":"Q5277895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382a4ad23e3b930f30ba397b566b5b9dc144531e","datavalue":{"value":{"amount":"+0.8049898147583008","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":"Q1207436$800456E7-730B-4823-9F29-9BF208C6DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b49f78900645a2e856486c28fe7af785604b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2937698,"id":"Q2937698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e81785e259df9433fe34c6e187f2bc10356bc6","datavalue":{"value":{"amount":"+0.7981549501419067","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":"Q1207436$25C3C969-F109-4C35-8E44-E4B8FD3421C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3835672983f8530d2df7bce018160814d5657b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2817938,"id":"Q2817938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e595596d51e1ccccde6479129c03af74e5f5bde","datavalue":{"value":{"amount":"+0.7853850722312927","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":"Q1207436$0FD8FF24-7376-430E-A001-1C4A19ABC22A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1207436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1207436"}}}}}