Publications of Bartosz Bednarczyk

From International Center for Computational Logic
Toggle side column

Publications of Bartosz Bednarczyk


Proceedings Articles

Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
LICS 2019, to appear
Details

Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse.
JELIA 2019, May 2019
Details

Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees.
FSTTCS 2017, December 2017
Details

Bartosz Bednarczyk, Emanuel Kieroński, Witold Charatonik
Extending Two-Variable Logic on Trees
CSL 2017, August 2017
Details