The circuit complexity class DLOGTIME-uniform AC^0 is known to be a mode...
We study Lindstrom quantifiers that satisfy certain closure properties w...
We consider distributed algorithms in the realistic scenario where
distr...
We consider the length of the longest word definable in FO and MSO via a...
We provide a sound and complete proof system for an extension of Kleene'...
We introduce a new game-theoretic semantics (GTS) for the modal mu-calcu...
We propose a new version of formula size game for modal logic. The game
...
Logics with team semantics provide alternative means for logical
charact...