Personal profile
Overview
I am a Ph.D. Student from the School of Computer Science at the University of Manchester. I am interested in expressivity of various formal languages and, in particular, the decidability and complexity status of various problems (e.g. finite/general satisfiability, query entailment, Craig interpolant existence, spectra etc.) for said languages.
I am one of the inventors of the Adjacent Fragment of First-Order Logic and am currently working on expressiveness, spectra and decidability of satisfiability problems for extensions of the language.
I expect to finish my Ph.D. by end of March 2025, and am currently looking for post-doc opportunities.
You can find my publications on DBLP (click here!) or on my personal page (click here!)
Keywords
- First-Order Logic
- Complexity Theory
- Model Theory
- Finite Model Theory
- Spectra Problems
Fingerprint
- 1 Similar Profiles
-
On Homogeneous Models of Fluted Languages
Kojelis, D., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic: (CSL 2025). Vol. 326. p. 9:1-9:20Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
The Adjacent Fragment and Quine's Limits of Decision
Bednarczyk, B., Kojelis, D. & Pratt-Hartmann, I., 1 Sept 2025, In: Journal of Logic and Computation. 35, 6, p. 1-36 36 p., exaf042.Research output: Contribution to journal › Article › peer-review
Open Access -
On the Limits of Decision: the Adjacent Fragment of First-Order Logic
Bednarczyk, B., Kojelis, D. & Pratt-Hartmann, I., 5 Jul 2023, 50th International Colloquium on Automata, Languages, and Programming: ICALP 2023, July 10–14, 2023, Paderborn, Germany. Etessami, K., Feige, U. & Puppis, G. (eds.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-21 21 p. 111. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 261).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
Completing the Picture: Complexity of the Ackermann Fragment
Kojelis, D., 25 Jul 2022, Proceedings of the ESSLLI 2022 Student Session. European Summer School In Logic, Language And Information, p. 121-127 7 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access
Prizes
Thesis
-
Extended Counting Quantifiers and Generalisations of the Fluted Fragment of First-order Logic
Kojelis, D. (Author), Pratt-Hartmann, I. (Main Supervisor) & Schmidt, R. (Co Supervisor), 23 Sept 2025Student thesis: Phd
File