Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Completing the Picture: Complexity of the Ackermann Fragment

Published in European Summer School in Logic, Language and Information, 2022

We show that the satisfiability problem of the Ackermann fragment with equality, when the number of trailing existential quantifiers is bounded, is \({\rm ExpTime}\)-complete.

Daumantas Kojelis
Download Paper

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

Published in 50th International Colloquium on Automata, Languages, and Programming, 2023

We define the adjacent fragment of first-order logic (without equality) and establish decidability of satisfiability.

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
Download Paper

On Homogenous Models of Fluted Languages

Published in 33rd EACSL Annual Conference on Computer Science Logic, 2025

We show that satisfiable fluted sentences admit special kinds of “nice” models which we call globally/locally homogeneous. We establish that the fluted fragment with periodic counting is decidable for satisfiability, whilst the adjacent fragment with counting is not.

Daumantas Kojelis
Download Paper

The Adjacent Fragment and Quine’s Limits of Decision

Submitted to Journal of Symbolic Logic

We define the adjacent fragment of first-order logic (with equality) and establish decidability of satisfiability.

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
Download Paper

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.