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 Tools annual

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 Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

We consider the propositional logic equipped with Chellas stit operators fora finite set of individual agents plus the historical necessity modality. Wesettle the question of whether such a logic enjoys restricted interpolationproperty, which requires the existence of an interpolant only in cases wherethe consequence contains no Chellas stit operators occurring in the premise. Weshow that if action operators count as logical symbols, then such a logic hasrestricted interpolation property iff the number of agents does not exceedthree. On the other hand, if action operators are considered to be non-logicalsymbols, the restricted interpolation fails for any number of agents exceedingone. It follows that unrestricted Craig interpolation also fails for almost allversions of stit logic.

Restricted Interpolation and Lack Thereof in Stit Logic