Oskar Fiuk

According to our database, Oskar Fiuk authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic.

Oskar Fiuk, Emanuel Kieronski

CoRR, 2024

On the complexity of Maslov's class K.

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

On the Complexity of Maslov's Class K (Extended Abstract).

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

An excursion to the border of decidability: between two- and three-variable logic.

Oskar Fiuk, Emanuel Kieronski

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting.

Bartosz Bednarczyk, Oskar Fiuk

Proceedings of the Logic, Language, Information, and Computation, 2022