Daumantas Kojelis

Daumantas Kojelis

Mr

Personal profile

Overview

Hello! I am a Ph. D. student at the University of Manchester investigating Decidable Fragments of First-Order Logic.

My research interests include (but are not limited to) (Finite) Model Theory, Complexity Theory, The Satisfiability Problem, Query Answering...

I am currently focusing on the Two-Variable, Fluted, and Guarded Fragments of First-Order Logic.

Keywords

  • First-Order Logic
  • Complexity Theory
  • Model Theory
  • Finite Model Theory