activity
20202025
most citedAlgebraic classifications for fragments of first-order logic and beyond

2 citations · 3 across the 16 of their papers we have counts for

collaborators
Showing 2022 · math.LOShow all

2 papers · 2 filters

math.LO2022

Relating description complexity to entropy

Reijo Jaakkola, Antti Kuusisto, Miikka Vilander

We demonstrate some novel links between entropy and description complexity, a notion referring to the minimal formula length for specifying given properties. Let MLU be the logic o…

math.LO2022

First-order logic with self-reference

Reijo Jaakkola, Antti Kuusisto

We consider an extension of first-order logic with a recursion operator that corresponds to allowing formulas to refer to themselves. We investigate the obtained language under two…