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

STIT (sees to it that) semantics is one of the most prominent tools in modallogic of agency, widely used among both philosophers and responsible AIscholars. STIT logic surveys the properties of agents seeing to it that somestate of affairs holds without specifying concrete actions by which that stateof affairs is guaranteed. In comparison with other multi-agent modal logics,the main advantage of STIT theories is expressive power. STIT logic allows tostudy not only statements about agents abilities to perform certain actions (asit is in variations of Coalition Logic or Propositional Dynamic Logic), butabout what choices they make and what they de-facto achieve as well.  Nevertheless, in some occasions such expressivity may be redundant. Thispaper surveys a specific fragment of classical STIT logic, which has onlystrategic modal operator, standing for the fact that agent has an ability tosee to it that some state of affairs holds. The neighbourhood semantics for thefragment is presented, accompanied with the soundness, canoniciy hence strongcompleteness results. Furthermore, the paper presents basic considerations onepistemic extension of the presented fragment.

Neighbourhood semantics and axioms for strategic fragment of classical stit logic