ICLA

2011

Springer

12 years 10 months ago
2011

Springer

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...

DM

2011

12 years 11 months ago
2011

A relational ﬁrst order structure is homogeneous if it is countable (possibly ﬁnite) and every isomorphism between ﬁnite substructures extends to an automorphism. This artic...

FUIN

2010

13 years 4 months ago
2010

We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...

APAL

2010

13 years 4 months ago
2010

The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it...

CIE

2008

Springer

13 years 9 months ago
2008

Springer

We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...