{"entities":{"Q2431875":{"pageid":2442618,"ns":120,"title":"Item:Q2431875","lastrevid":49950958,"modified":"2026-01-12T06:22:26Z","type":"item","id":"Q2431875","labels":{"en":{"language":"en","value":"Comparing semantics of logics for multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066688"}},"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":"Q2431875$9EE85BDE-A1E1-45FC-9DEE-DACF76C928D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef83acdc311ea5337f1eff8d70d0483fe7548814","datavalue":{"value":{"text":"Comparing semantics of logics for multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431875$5F5A3C25-83DA-4C9E-9AF6-75088BCFA912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"587a1d03483227db281e64e6d0aa8209fbd6bb7e","datavalue":{"value":"1106.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$C674F932-BEDC-45A4-BD3D-D84CDE18B295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431875$EC23F689-0E9E-45AC-A0CE-E1BB4EF85FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431875$7431628D-6AFC-4244-8B19-BF08355127B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431875$DB0EA8F1-063D-4F9D-AF7B-4D608A361A3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af241f723e3ca74304d263c8a2b02a411a00985e","datavalue":{"value":{"time":"+2006-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2431875$747E9660-74EA-4184-AEB1-5341BC0CAC22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32764678c86af2d2a56a4d2eb2c4227e89f3affa","datavalue":{"value":"A comparative analysis is offered of several logics that have been developed to deal with a set of agents taking actions, simultaneously or sequentially, on a common set of states, affecting transitions between states. The logics considered are coalitional game logic, alternating-time temporal logic and alternating-time temporal epistemic logic. Reduction and equivalence results are established for their semantics. Ways to transform between different types of models and languages are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431875$8993967B-A863-4BC4-BD64-E5275D3D48B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$F4CE8FA4-2C24-4399-841B-3F9334322F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$7C815879-62C2-4E01-9234-48470C5D297A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$0DD669AD-30C6-46E0-BB7C-3802ECED1577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$4C55C85D-D423-44DA-B915-1A4E602E35AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18690cb791f459ab123a094101f23a8ecfb04e9a","datavalue":{"value":"5066688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$726A11CB-0952-4BBD-BB5F-E0790D66E065","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431875$6F9E859C-391A-4173-A4A5-16DEE5AEBCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431875$83C5DAE1-000D-46E2-A09E-734BF0DA445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431875$7E354614-6848-4249-8B51-50DA796B89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc62aa6951e363638ae3d38edb88c110d397e98b","datavalue":{"value":"coalitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431875$9C540F5F-CE75-44F4-B143-E65CAB786C23","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431875$17D722BA-1301-47F3-B1AE-C7DD6098C8BF","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":"Q2431875$2534F107-08CD-4CB3-964F-7366100EE941","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe1a39f9bbfdde32abb8c5e1223418559855f9e","datavalue":{"value":"10.1023/B:SYNT.0000024915.66183.D1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431875$67849842-5D16-4036-8C6C-CB376D462440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e327cc558585806f4cdd9e4cf25ea22844f216b","datavalue":{"value":{"entity-type":"item","numeric-id":5475752,"id":"Q5475752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096ad7807c9039adab912f32d7025bb19fc2df1f","datavalue":{"value":{"amount":"+0.7943748235702515","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":"Q2431875$E0969ACF-94D6-4C1E-93A5-D9F066F2741B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91328d5e73f889e1dcd53649d204a763e6ac3a","datavalue":{"value":{"entity-type":"item","numeric-id":3574465,"id":"Q3574465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a679c34d4b39f0db9ab6a4d1f0877cfb2c128f2","datavalue":{"value":{"amount":"+0.785537600517273","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":"Q2431875$1259168F-9913-4A96-8E73-D5533ACAFB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6e29a5fcb3bd0b76a24142e921ba0e58ac6734","datavalue":{"value":{"entity-type":"item","numeric-id":1617988,"id":"Q1617988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43cd3699545ce96479da09d6996d244f906b0b5","datavalue":{"value":{"amount":"+0.7410436868667603","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":"Q2431875$697D5F65-FD84-463B-AA26-94297FA20CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f7d665a37bd8e6af54d249256a89a8bc6e47c0","datavalue":{"value":{"entity-type":"item","numeric-id":2939296,"id":"Q2939296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142ffed6bd83847311c859706333269c6b87a14a","datavalue":{"value":{"amount":"+0.7346863150596619","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":"Q2431875$0C82A766-8E2C-4FDA-996C-3FAE7BC94D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5e27b0d7bf740b242122138ed654f7ac82ad18","datavalue":{"value":{"entity-type":"item","numeric-id":5077585,"id":"Q5077585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ae0c1ee4bd0a4cca448dc2d6012e6f13227ea5","datavalue":{"value":{"amount":"+0.7319954633712769","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":"Q2431875$0E548186-FFEA-4A83-8DA5-554FBD8B0100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2431875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2431875"}}}}}