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/

Zendy Plus

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

Zendy Tools

Zendy Open

The main focus of this paper is on bisimulation-invariant MSO, and moreparticularly on giving a novel model-theoretic approach to it. In model theory,a model companion of a theory is a first-order description of the class ofmodels in which all potentially solvable systems of equations and non-equationshave solutions. We show that bisimulation-invariant MSO on trees gives themodel companion for a new temporal logic, "fair CTL", an enrichment of CTL withlocal fairness constraints. To achieve this, we give a completeness proof forthe logic fair CTL which combines tableaux and Stone duality, and a fair CTLencoding of the automata for the modal {\mu}-calculus. Moreover, we also showthat MSO on binary trees is the model companion of binary deterministic fairCTL.

Monadic second order logic as the model companion of temporal logic