{"entities":{"Q532396":{"pageid":534163,"ns":120,"title":"Item:Q532396","lastrevid":62544120,"modified":"2026-04-11T06:48:36Z","type":"item","id":"Q532396","labels":{"en":{"language":"en","value":"A logical duality for underspecified probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883960"}},"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":"Q532396$5BA5E3F9-7E30-4CAE-86A0-5CD797BEBA9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"902c13d6d81bf8c9c6121fcf833f3221430f9641","datavalue":{"value":{"text":"A logical duality for underspecified probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q532396$FFFD9EB3-04EE-4AF6-81FC-412C8B5BD411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716133451d94f10fb5fd44b0177c75f53a720e78","datavalue":{"value":"1222.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$0270F115-7E10-412A-BD22-B6CC438780B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8ddfb0d343fe3cfdb2f7d5a790a7afcf3447f3","datavalue":{"value":{"entity-type":"item","numeric-id":383366,"id":"Q383366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$D79DC051-5A8E-472C-8965-39E56D08215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93c3d605fb8e689b1b551ce77225031f1a4c64b5","datavalue":{"value":{"entity-type":"item","numeric-id":383367,"id":"Q383367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$A42D8E1E-3EEC-4BBD-99B5-C7629DEC670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e9c0e4f8a4a532f57f3d8791fd3a53559b6738","datavalue":{"value":{"entity-type":"item","numeric-id":532395,"id":"Q532395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$B4949655-2D97-4771-ACBB-2BACF63A980D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$8984DE58-ED27-4E4E-B2CC-89431AB6DE1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8cf336a281775d77f65d41085e5a0ff9f89f4f","datavalue":{"value":{"time":"+2011-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q532396$7E2AC6C2-8D34-4FEE-ADD9-45A42755FD33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e23173cbec7fd6330766c6d7659d13ac3debde45","datavalue":{"value":"A simple structure, infLMP (essentially partial specification of labeled Markov processes), that encodes non-determinism and probabilistic behaviour (its transitions satisfy super-additivity instead of additivity) is introduced. A Stone-type duality between specifications and imfLMP is established. The duality puts in relation the category of infLMPs and a category of abstract representations of them based on properties only. A Galois connection between these categories is exhibited. The duality also shows that an imfLMP can be considered as a demonic representative of a system's information. Moreover, it carries forward a view where states are less important, and events, or properties, become the main characters, as it should be in probability theory. It is shown that bisimulation and simulation are naturally interpreted in this setting, and the interesting relationship between infLMPs and the usual probabilistic modal logics is exhibited.","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$DDE5DEE1-3BFF-4248-9C7B-8DC7CCCBD674","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":"Q532396$4B91027B-03DA-4F2F-A692-577B2A1C68A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$E71CCD33-B836-4B08-B632-AF778B0E87B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$34D2C428-415E-41F1-85E0-E402132E5B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$33774151-2E04-41B6-8370-0939F44405E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0433d2284c0fe5f7d37966d96fe6ab56b666e7bb","datavalue":{"value":"5883960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$521F8A1C-C7C5-4B17-BBC8-A8C4961BE6B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$FA17CA79-4E9C-473F-B00D-FCE7D50BAEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$027DB2A6-8DC7-4C19-A36A-814F501AE114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$C8D67844-6099-44C0-939A-CE8AD84FC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f03448218aaf5ac2e706c71349e7a3abecf2e9","datavalue":{"value":"underspecified processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$38D1DF6C-F82B-45F6-B421-60D8E553FE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$AB0EA519-019E-4850-84CC-8B82160DC65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q532396$50061028-D215-4BFA-92F8-B14AEF57DA2E","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":"Q532396$F730412A-E683-4688-B2E7-DE6B44DB2665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d21bd9b6560ee691c4bd615852f0e7fb2797c2e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q532396$9B97B9A7-B93F-4B1C-9C0B-13A442F828B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8c53cabd0b34428f93ec404cc56537c9982365f","datavalue":{"value":"W2087666725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$4C7E68F3-B116-4F6D-90E8-E024E9B18847","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$C6EDFAAA-D902-4494-BE91-89FF3C2FAD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$0E1F4185-DF22-47D1-8223-0997F7D0638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$32201A60-9187-4E9E-9F72-FDE35E71104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$BCF595D2-3F14-4323-8BD4-3B95EFEF1CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e1a3dd20066571ed26420de1fcdf5d26b72bb5","datavalue":{"value":{"entity-type":"item","numeric-id":5308464,"id":"Q5308464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$18F4780F-2F04-4EC6-AFEB-A67D15BDD83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb78820f77a8727341fe72896e629906f4ade6ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902151,"id":"Q5902151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$0102B96C-CC00-45B1-9B8E-6B2C54D859A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$A2902245-A1EB-4B45-A2AD-8475DAF7DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2de03760c82e51bfb9a0abad746a72ec6f5a34","datavalue":{"value":{"entity-type":"item","numeric-id":835203,"id":"Q835203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$0FF88B4F-F12C-494A-9DCD-124A19AC16EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e29adb5533ce9e6258dbf0049aa149c53b0310","datavalue":{"value":{"entity-type":"item","numeric-id":707349,"id":"Q707349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$0C1D5DF6-8F5F-431C-9758-67145268EEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee5fa13fc2c96500368278d2f748227b118c417","datavalue":{"value":{"entity-type":"item","numeric-id":2870398,"id":"Q2870398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$0BF17E87-CCAD-4E92-813D-8A03B91721CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1136773972dd436859065926c900c15e14a0c86f","datavalue":{"value":{"entity-type":"item","numeric-id":3184680,"id":"Q3184680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$EA622B07-8B0E-49F6-B9D2-BA01CC6E6B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$B1B70A53-2CE9-4F4F-8F3F-DB5CC68EC4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$7999597D-E6F3-48FF-8CCF-D2468F3C54D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12807bd0341fddeb39b4de0894426ae76e789b6","datavalue":{"value":{"entity-type":"item","numeric-id":2653620,"id":"Q2653620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$6246D7EE-9242-4DBC-9577-64EFA9472CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3be4ea28a022538a3c0e48a97c15227a81dc3ea","datavalue":{"value":{"entity-type":"item","numeric-id":5428857,"id":"Q5428857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$8BB662DD-8EE3-45FA-BCF2-BA78E1485AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$23CDDE22-0B26-42ED-ABC4-C11839807630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784b36a1806e154ce051663e65849f526079848d","datavalue":{"value":{"entity-type":"item","numeric-id":3541023,"id":"Q3541023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$5289A215-D8EB-4560-8C11-D0745951BF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f3aa98ca5bd7a68966b66557ff190ff9b3ce8c","datavalue":{"value":{"entity-type":"item","numeric-id":2709785,"id":"Q2709785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$1E7B9CDC-AA77-4C79-A6A8-A48A5078D6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e3d9fb11d4b7facffa167dc95c875c331bbe00","datavalue":{"value":{"entity-type":"item","numeric-id":5705913,"id":"Q5705913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$78ABB1BD-2BF0-443E-9779-1821997A95BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$6FB94C97-2537-46B5-BDB4-538CA26EDED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f8da7733f5df652657471b8fc372ee15cfbac5","datavalue":{"value":{"entity-type":"item","numeric-id":5585437,"id":"Q5585437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532396$1DA52911-B4DB-4DE6-AE7F-2ED1753B4B23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74db2e5a16884733eea9a45bdd30db053ae6c450","datavalue":{"value":"10.1016/J.IC.2010.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532396$61B7146D-4930-499D-A646-EF751C1D7982","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50792b35414d74931e372211f4546d005c7a17cd","datavalue":{"value":{"entity-type":"item","numeric-id":3184680,"id":"Q3184680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3509203a38f79889dd0cd893f0ad2cedabf4790f","datavalue":{"value":{"amount":"+0.8866546154022217","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":"Q532396$F5FC113B-63EA-467B-A93B-8EFB77DC3331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a471bd27c8b88a8cffc994ca92519ee18b96c9a1","datavalue":{"value":{"entity-type":"item","numeric-id":5144700,"id":"Q5144700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eb64ae008d86e4f612a366102ab207285d6054","datavalue":{"value":{"amount":"+0.7832180857658386","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":"Q532396$D426C060-E42A-4F6E-B0CC-9FF1BC467A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72300f8eda97534698845ec8009374e9479a93","datavalue":{"value":{"entity-type":"item","numeric-id":5271069,"id":"Q5271069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3272e1b6902f8ed023acd68d3a1fa354e4539ca","datavalue":{"value":{"amount":"+0.7777726650238037","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":"Q532396$582A6BCD-1EAC-4446-9F58-17D6839E3D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbeff59e476a1ec1ca95be11edc7aa2740ccc42e","datavalue":{"value":{"entity-type":"item","numeric-id":5308464,"id":"Q5308464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bc5489a4db2f5f776a15f4fa046058a2351a50","datavalue":{"value":{"amount":"+0.7738497257232666","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":"Q532396$DB57A9BD-0342-4FC4-B817-B3D9C730B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f7d19f9f01d081f044ba1b2b44c8c0c1cd61c8","datavalue":{"value":{"entity-type":"item","numeric-id":2864159,"id":"Q2864159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b695239ad7b67ec930847ce9ebcb602d7510d1","datavalue":{"value":{"amount":"+0.7440418601036072","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":"Q532396$DBD0EB2D-3FB7-4F28-A605-F5AFBF64D41B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical duality for underspecified probabilistic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_duality_for_underspecified_probabilistic_systems"}}}}}