{"entities":{"Q639645":{"pageid":641493,"ns":120,"title":"Item:Q639645","lastrevid":63211776,"modified":"2026-04-11T11:21:29Z","type":"item","id":"Q639645","labels":{"en":{"language":"en","value":"Maximal traces and path-based coalgebraic temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949169"}},"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":"Q639645$0C8324B3-A4B7-46ED-8125-8A502803897B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e64fe7fc8da260446332e27a6feaf607c32155","datavalue":{"value":{"text":"Maximal traces and path-based coalgebraic temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q639645$17ED2D5A-FB31-467B-A582-16D3303BEAFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"577e647941973b06c2a51a5de0aa1d38bf936607","datavalue":{"value":"1254.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$F56E654C-C698-4E1D-A3B9-C39F45DAFA78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$6A1E52FC-6892-4315-9341-987DDCE70DD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$B2CEE104-F2E4-49D2-97F8-23A3A65F9F73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q639645$0A768C98-546F-4910-8D64-B7A4CED8BB2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6628c740a36fc51ab4b39699ba3c72571525edfc","datavalue":{"value":"Coalgebraic logic serves as a generic framework for modal logics with a generalized semantics that may go well beyond the classical relational realm, including, e.g., probabilistic, preferential, game-oriented, or neighbourhood-based systems [the author, \\textit{A. Kurz}, \\textit{D. Pattinson}, \\textit{L. Schr\u00f6der} and \\textit{Y. Venema}, ``Modal logics are coalgebraic'', Comput. J. 54, No. 1, 31--41 (2011; \\url{doi:10.1093/comjnl/bxp004})]. One part of the programme of coalgebraic logic is to extend its scope orthogonally to the coalgebraic dimension of generality, covering features that may be phrased independently of the underlying coalgebraic semantics such as nominals or fixed points. The work under review may be seen as a part of this program in that it contributes to the understanding of temporal logics that depend on a notion of path, such as CTL* or PCTL [\\textit{H.~Hansson} and \\textit{B.~Jonsson}, Formal Asp. Comput. 6, No. 5, 512--535 (1994; Zbl 0820.68113)].  The basic setup employed here is that of a coalgebra \\(X \\to TFX\\), where \\(T\\) is a monad, the computation type, and \\(F\\) is a functor, the branching type. Typical examples for \\(T\\) include powerset (for classical non-determinism) and (sub-)distributions (for probabilistic computation), while typical choices for \\(F\\) are polynomial functors modelling various modes of labelling and branching. The notion of path is captured in several generic notions of trace including an important concept of maximal trace, defined for a coalgebra with carrier set \\(X\\) via a \\(T\\)-Kleisli map into the final \\(X\\times F\\)-coalgebra. It is shown that CTL* and PCTL are indeed examples of the approach, with obvious adaptations necessary in the case of PCTL in order to deal with arising measure-theoretic issues.","type":"string"},"datatype":"string"},"type":"statement","id":"Q639645$96063D25-2408-429D-867D-D8C712CEF413","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a79417a94bb26b1097b5b65a2b9b2c854101397b","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$78DFBC46-1833-42BE-A615-4BE682A9686F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$9915791B-0681-4330-9F9D-1BC94D9EEC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$93CED0D7-9F13-4FC8-B529-2CB4735A1191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$D29A9FAC-A86F-4EEA-A977-9FF8A06CC33C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907d24a3d5d66061aca248dd5d7157da1293e9b6","datavalue":{"value":"5949169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$C1BE8F27-07BE-48A2-A52A-ADA9F7961C72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q639645$749D7B6D-5F88-488F-82F0-FFE86E5147BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e865dcf04feef79efcf163ac054d2ac37b7305b","datavalue":{"value":"paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q639645$BD6F4DBD-BE42-4864-9A16-02BB27DD6783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q639645$18709E6A-21D2-45F6-9043-82599BB8177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q639645$349612CF-586B-435F-98FC-37CD46B5DF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q639645$C472F636-CFA8-439C-B840-4901AF1405FE","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":"Q639645$37ABC7B3-DE94-487D-B696-60A86A63F3ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31bb5afb3f470ec0616b957debd8acc2e987e8f0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.04.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q639645$3C104D39-2F3B-445B-B59D-88188CA538A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaa8b754d672b1c4f818c77d88207e79e8bf2b63","datavalue":{"value":"W2064284596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$856AEDF9-0895-44D1-B473-B07E7CA650CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$8D430541-2B0E-460D-9DE5-D64208142D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$B193ED2B-7870-44AE-89D3-4292C1C120FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$56054960-9ADD-45D2-9D1B-BB8A8710942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$3DF0F9BD-DFF8-4083-9DE4-ECA85D6FA4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$69A2E70F-49EC-4911-8248-B3F5B631D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe49c3b0be1875f4716ee6585aff4b21b9381048","datavalue":{"value":{"entity-type":"item","numeric-id":2873663,"id":"Q2873663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$C2A3F9DE-1B82-4502-A5FD-D562F5890291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$9CB83464-43E2-48D0-B283-21043291FBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$B384F650-0438-4F0B-B797-AE42124E5DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$F4922AEA-77D6-43E2-972B-A286A497BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$29B0A508-159A-4FAA-A51E-B7F98EEEDF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cd44f601ba703e6f92fda95d964258e3710c38","datavalue":{"value":{"entity-type":"item","numeric-id":2919451,"id":"Q2919451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$7B102CEE-B4E8-478B-AD26-B36BAD782AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$7C89F090-B8BA-4FD8-AEAA-94FF66CEA05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$550F3AB5-03C5-4A61-B3A9-EE597382BB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ed27c8e4b8cf2149d292eafcabafcbe8b092ca","datavalue":{"value":{"entity-type":"item","numeric-id":4283467,"id":"Q4283467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$2FECCE89-9249-4B27-8DFA-7E6BE4E0E275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f6da33156d7bbb3ac6bef947452707f394a43e","datavalue":{"value":{"entity-type":"item","numeric-id":3630218,"id":"Q3630218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$5F0A70F5-8D0C-4984-97BF-2CFD489DD3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b2af9232b91aef74ce2366c6985ab5a4085982","datavalue":{"value":{"entity-type":"item","numeric-id":2888488,"id":"Q2888488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$24A2DBAF-5AB0-43B1-8DC5-0639DFDFBAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$94AD93CD-EFB7-491E-8216-7491D55BAC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e70948472be460c80833ced2b9f837700bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":5492834,"id":"Q5492834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$111F1B4A-CC1F-4ABF-960C-A74703BB3FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639645$748FF4AC-3B26-41A9-8A76-E88C39008686","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"264ca7e9d9c111340ca255d609248eea4c45ff18","datavalue":{"value":"10.1016/J.TCS.2011.04.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639645$7635BC18-EBDA-4084-9C18-E0E512E257D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7426df4dd139b8554878ae469721ca034ddaa6","datavalue":{"value":{"entity-type":"item","numeric-id":2919451,"id":"Q2919451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022c4bc7ce49879b24338a4d979a39c6681bd4e5","datavalue":{"value":{"amount":"+0.9121162295341492","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":"Q639645$9527E218-2B20-41F5-B963-B56008F570D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5b3e23a03d5b0bd4dfbf9b775f8814de1356f","datavalue":{"value":{"entity-type":"item","numeric-id":5158368,"id":"Q5158368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4f727ff217ffeb2eb7230f0d2c4b299e34ce83","datavalue":{"value":{"amount":"+0.910136580467224","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":"Q639645$55D5C909-4F8E-43EC-8D29-27D193A7D6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f86d43d8603d6277018cc9ebb1f716fc6cae0f","datavalue":{"value":{"entity-type":"item","numeric-id":3090866,"id":"Q3090866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d113e167b48dbf32187bdbd114b1dd193a535e5","datavalue":{"value":{"amount":"+0.8090711236000061","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":"Q639645$F22AE7DF-B0B8-46E9-B6CD-F57F41A7EC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7327cc9917572c30f723c8f6e8f35eab701268d","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f031da5cbae24f8b3e8cc13b628c067bc2aaff2","datavalue":{"value":{"amount":"+0.7776209115982056","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":"Q639645$1740B115-8F94-45F4-95B4-A995FAFBE976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1daa601c0a91bb76af3b8d0c5acf03e6857fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2354d9d0e9f74fd74ba514206d9833c5d5915c43","datavalue":{"value":{"amount":"+0.7650681138038635","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":"Q639645$4753703C-606E-498C-91B9-9DC6D949A324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximal traces and path-based coalgebraic temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maximal_traces_and_path-based_coalgebraic_temporal_logics"}}}}}