No. |
Title |
Author |
Year |
---|

1 |
Finite Satisfiability of Unary Negation Fragment with Transitivity |
Danielski, Daniel et al. |
2019 |

2 |
One-Dimensional Guarded Fragments |
Kieronski, Emanuel |
2019 |

3 |
Extending Two-Variable Logic on Trees |
Bednarczyk, Bartosz et al. |
2017 |

4 |
One-Dimensional Logic over Trees |
Kieronski, Emanuel et al. |
2017 |

5 |
One-Dimensional Logic over Words |
Kieronski, Emanuel |
2016 |

6 |
Uniform One-Dimensional Fragments with One Equivalence Relation |
KierÃ³nski, Emanuel et al. |
2015 |

7 |
Two-Variable Universal Logic with Transitive Closure |
Kieronski, Emanuel et al. |
2012 |

8 |
Decidability Issues for Two-Variable Logics with Several Linear Orders |
Kieronski, Emanuel |
2011 |

9 |
Modal Logics Definable by Universal Three-Variable Formulas |
Kieronski, Emanuel et al. |
2011 |