From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures
2021/41/B/ST6/00996
Keywords
Descriptors
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
- ST6_010: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Voivodeship: dolnośląskie
Principal investigator (from the host institution)
dr hab. Emanuel Grzegorz Kieroński
Number of co-investigators in the project: 5
Call
OPUS 21 – announced on 2021-03-15
- Amount awarded
- 494 832 PLN
- Project start date
- 2022-02-03
- Project end date
- 2027-02-02
- Project duration
- 60 months (the same as in the proposal)
- Project status
- Pending project
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Articles in post-conference publications (4)
-
An excursion to the border of decidability: between two- and three-variable logic
- Authors:
- Oskar Fiuk, Emanuel Kieroński
- Conference:
- LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023 (year: 2023, volume: 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pages: 205-223), Publisher: EasyChair
- Date:
- conference 4-9 June 2023
- Status:
- Published
- DOI:
- 10.29007/1xns – link to the publication
-
A Uniform One-Dimensional Fragment with Alternation of Quantifiers
- Authors:
- Emanuel Kieroński
- Conference:
- Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023 (year: 2023, volume: Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, pages: 46037), Publisher: Electronic Proceedings in Theoretical Computer Science
- Date:
- conference 18-20 września 2023
- Status:
- Published
- DOI:
- 10.4204/EPTCS.390.1 – link to the publication
-
On the complexity of Maslov's class K̅
- Authors:
- Oskar Fiuk, Emanuel Kieroński, Vincent Michielini
- Conference:
- LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (year: 2024, volume: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, pages: 46036), Publisher: ACM
- Date:
- conference 8-11 lipca 2024
- Status:
- Published
- DOI:
- 10.1145/3661814.3662097 – link to the publication
-
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
- Authors:
- Bartosz Bednarczyk, Oskar Fiuk
- Conference:
- Logic, Language, Information, and Computation. WoLLIC 2022. Lecture Notes in Computer Science, vol 13468 (year: 2022, volume: WoLLIC 2022: Logic, Language, Information, and Computation, pages: 295-308), Publisher: Springer
- Date:
- conference 20-23 September 2022
- Status:
- Published
- DOI:
- 10.1007/978-3-031-15298-6_19 – link to the publication