English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We propose enhancing the use of propositions for denoting decisions andstrategies as established in temporal languages such as CTL*, if interpreted onconcurrent game models. The enhancement enables specifying varying coalitionstructure. In quantified CTL* this technique also enables quantifying overcoalition structure, and we use it to quantify over an extended form ofstrategy profiles which capture temporary coalitions. We also extend CTL* by atemporal form of a binary preference operator that can be traced back to thework of Von Wright. The resulting extension of quantified CTL* can be used tospell out conditions on the rationality of behaviour in concurrent multiplayergames such as what appear in solution concepts, with players having multipleindividual objectives and preferences on them, and with the possibility to formtemporary coalitions taken in account. We propose complete axiomatisations forthe extension of CTL* by the temporal preference operator. The decidability ofthe logic is not affected by that extension.

Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games