{"entities":{"Q2500827":{"pageid":2511570,"ns":120,"title":"Item:Q2500827","lastrevid":44217753,"modified":"2025-11-20T22:52:40Z","type":"item","id":"Q2500827","labels":{"en":{"language":"en","value":"Action and knowledge in alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047776"}},"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":"Q2500827$24E7C512-F8A4-41D5-B64A-BDF9BFA54F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d95861a94419a3a3210a52b922e07aee03df264a","datavalue":{"value":{"text":"Action and knowledge in alternating-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500827$C7486ACF-37EE-4A02-91FC-5CA054C78597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c92bcfdb277c80063bfc248b34cb7ef8d4c1cffc","datavalue":{"value":"1107.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500827$CD1AC91C-53E8-42B9-802B-F42E4FCF1439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da62b64cd1c8c2ff37c51f3dd8f1d7613bed7066","datavalue":{"value":{"entity-type":"item","numeric-id":542136,"id":"Q542136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$E2A54A26-32D5-4608-8E70-0EAAC4157790","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":"Q2500827$A20D4957-99EF-47BD-8A0E-6B19E92749F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500827$51FE36EF-157D-4FA1-8FF6-6401C528868B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"245a247b7e58a9e1a0035c71671e16499d4375ee","datavalue":{"value":"The paper mainly deals with the expressive power of alternating-time temporal epistemic logic [cf. \\textit{W. van der Hoek} and \\textit{M. Wooldridge}, ``Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications,'' Stud. Log. 75, No. 1, 125--157 (2003; Zbl 1034.03013)], in particular, concerning the interplay between knowledge and actions of agents. The crucial property in question is \\textit{\\((*)\\) complete knowledge about available actions}. This property is formalized in the relevant semantic domains, and it is shown that neither existing attempts nor any ATEL-formula at all can capture \\((*)\\). The formal language is then extended to the effect that the cooperation modalities are indexed not only with a set of agents but also with a set of actions. In this way, the actions by means of which the agents can achieve some goal at a certain state are made explicit. Several examples showing the expressiveness of the new language are given, and it is proved, in particular, that \\((*)\\) can be captured now. Finally, it is shown that model checking can be done in polynomial time for the extended system, too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500827$4454F46A-EB4B-486A-84C4-0AE9D864B0E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$AC485E5A-3FC9-432C-B251-8FD02A9177C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500827$8D0598AD-8A5E-4199-8A80-1A4483922470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500827$E90D1451-B694-45EE-871D-0611B1299CD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aca33610407fc270ed64503860b3164ae741ac1","datavalue":{"value":"5047776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500827$798C652D-940F-4364-892F-E9E1482C4CF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500827$3C5A3BC3-2610-4A44-BE3A-92369CE0E31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500827$347C8491-F591-4AD3-B135-F758DFF35AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a2cd57c41a5af21e08127e00ac6bfcb6f3b493","datavalue":{"value":"knowledge and action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500827$75EA08FC-3B6D-4410-8AAB-CD7463EF05CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500827$F82289E4-1ECE-403B-A665-164B2980E74A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$A735C55F-63A2-4FEA-84C3-222512DF660E","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":"Q2500827$58D8EA0B-85C0-4A21-ADDB-140539A1DFB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23fabd5155a0c2943363e47815e952a428129309","datavalue":{"value":"https://doi.org/10.1007/s11229-005-3875-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500827$DAA742A0-330A-40EC-9866-F9A105468A06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6c4c1db083783c832adbe62667cd26dfb382a9d","datavalue":{"value":"W2116676758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500827$CE9115BD-29D0-49BA-8900-2791FF692955","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$10569D4F-0CAA-413E-ACE8-3ADCB164261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$6F29BD56-CA34-4E36-9AED-B463BC44F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a85d60a2ee6f470b072052d7cd8be0eccee601","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$2F30041B-E697-4A8C-A6B4-73534365AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597066d5dd527d5726e521eb569617d9144c2aee","datavalue":{"value":{"entity-type":"item","numeric-id":1262142,"id":"Q1262142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$9C3D6EC7-E2B4-4052-8655-812F52DD3F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$FFB5944F-D4D4-4D96-8789-7353E3CCF0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$CA69FD82-9902-44E5-8C89-5B4A0A84F5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$730659A1-F934-485C-8DE2-22AE6DA7E672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59ee86415d56950cb39398ecf643e0510207bd","datavalue":{"value":{"entity-type":"item","numeric-id":4681371,"id":"Q4681371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$324D4031-39CC-4176-9E19-D0DD17B62198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$610F920E-3D35-4A4D-B1EB-12724A0D0020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$D2E7CA38-EC9B-4FBF-867C-2CC3CCC6F13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06fe7f1d02fcd4a3064a97600c6fefc62361e8f","datavalue":{"value":{"entity-type":"item","numeric-id":885535,"id":"Q885535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$EE70C0CA-7DE2-4629-8FA5-6807D87A7466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500827$CFA99988-4F46-42D4-9887-3CC86F8BEB60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9849ff3b02aca640509de5d965cc58dc02475a1a","datavalue":{"value":"10.1007/S11229-005-3875-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500827$B5B06FB4-F368-4403-8EA3-01D0BC8F6B54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77010824528085eb780e2f4859856737870a002","datavalue":{"value":{"amount":"+0.90861547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$79388144-06BE-4686-A6B4-A5B65F52A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b239ecb5fe7bf0b69ddd7584644b449fa00085e2","datavalue":{"value":{"entity-type":"item","numeric-id":4681371,"id":"Q4681371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c573c634b437e537104c6a90e85997f5c7c0089c","datavalue":{"value":{"amount":"+0.900934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$BEB8E106-99E5-48D8-8CE7-F1CDDF1124F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5781cc597f42d8fdd36bac2c03695941c554b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4738167,"id":"Q4738167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488c06306b108336e3061511d9833b528e1e4d41","datavalue":{"value":{"amount":"+0.900458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$2058BA27-2B97-4847-922C-8C535EDF781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e9bf6f9962e78853b4385e85eb0d701c840310","datavalue":{"value":{"entity-type":"item","numeric-id":4412257,"id":"Q4412257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66d81e02207949b6f924e79178534eeaa559c1f","datavalue":{"value":{"amount":"+0.8985471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$397026C8-2221-45DC-9673-C28851BBA1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66192484d1413fa9b94781c096fe5669e979546","datavalue":{"value":{"entity-type":"item","numeric-id":2844048,"id":"Q2844048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76194ab5a91b31809554545ec24b23708ae5cd92","datavalue":{"value":{"amount":"+0.87065226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$663EFFF7-95F0-4FD8-AE31-3D9C4F7CA1B7","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":"0e99dcccab758d25bdcabc7faf63a91024f51c69","datavalue":{"value":{"amount":"+0.86414444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$EB4E7B6D-C2B1-4E7F-B27A-CB6377A1929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ec8e60a7967219054322ad755179d5b91e72a5","datavalue":{"value":{"entity-type":"item","numeric-id":2859103,"id":"Q2859103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17dc6b4213a0549097ea02a78b2d9611cc80fa9e","datavalue":{"value":{"amount":"+0.8628764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$A0F2DCB2-F2F1-49B7-A207-453FC17C772A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f842bc54c5f2ba6c903324655c3b68d3358b7b","datavalue":{"value":{"entity-type":"item","numeric-id":3601787,"id":"Q3601787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc11c366e3099c628e3f02984eed3fea3d191bf7","datavalue":{"value":{"amount":"+0.8618997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$7B9C348C-5FA1-446D-8831-066978FEA489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742571b8017419a822459644cf140bf174676291","datavalue":{"value":{"entity-type":"item","numeric-id":4617971,"id":"Q4617971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5324a2e8d6b5b33e92836e79462f0e37baa28d1","datavalue":{"value":{"amount":"+0.8579341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$8E1825F0-FDDB-4FAB-994F-2A5BCF6B421F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2caf63dae6e7b65bbca7406f27edea26f25af154","datavalue":{"value":{"entity-type":"item","numeric-id":2921968,"id":"Q2921968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34eaf946ead19d2e6818b6a6b7062cd7ecb26a21","datavalue":{"value":{"amount":"+0.8564344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500827$5EB4ED82-A518-4FCB-806C-409FA4C398F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500827"}}}}}