1 citations · 1 across the 4 of their papers we have counts for
4 papers
Partially Finite Model Reasoning in Description Logics Extended Version
Tomasz Gogacz, Filip Murlak, Marcin Przybyłko +2
Aiming to harmonise finite and infinite model reasoning, we initiate the study of partially finite models, where the reasoning task comes with a formula that specifies a part of th…
Generalised Quantifiers Based on Rabin-Mostowski Index
Denis Kuperberg, Damian Niwiński, Paweł Parys +1
In this work we introduce new generalised quantifiers which allow us to express the Rabin-Mostowski index of automata. Our main results study expressive power and decidability of t…
A Dichotomy Theorem for Ordinal Ranks in MSO
Damian Niwiński, Paweł Parys, Michał Skrzypczak
We focus on formulae of monadic second-order logic over the full binary tree, such that the witness is a well-founded set. The ordinal rank $\mathr…
On the Computability of Measures of Regular Sets of Infinite Trees
Damian Niwiński, Paweł Parys, Michał Skrzypczak
The Rabin tree theorem yields an algorithm to solve the satisfiability problem for monadic second-order logic over infinite trees. Here we solve the probabilistic variant of this p…