research
∙
09/13/2023
Regular Representations of Uniform TC^0
The circuit complexity class DLOGTIME-uniform AC^0 is known to be a mode...
share
research
∙
08/07/2023
Quantifiers closed under partial polymorphisms
We study Lindstrom quantifiers that satisfy certain closure properties w...
research
∙
03/08/2023
Descriptive complexity for distributed computing with circuits
We consider distributed algorithms in the realistic scenario where distr...
research
∙
02/21/2022
Defining long words succinctly in FO and MSO
We consider the length of the longest word definable in FO and MSO via a...
research
∙
12/08/2021
A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value
We provide a sound and complete proof system for an extension of Kleene'...
research
∙
09/23/2020
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants
We introduce a new game-theoretic semantics (GTS) for the modal mu-calcu...
research
∙
12/17/2019
Formula size games for modal logic and μ-calculus
We propose a new version of formula size game for modal logic. The game ...
research
∙
03/26/2019
