Oskar Fiuk

According to our database, Oskar Fiuk authored at least 7 papers between 2022 and 2026.

Collaborative distances:

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

2026

Random Models and Guarded Logic.

Oskar Fiuk

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

2025

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

Oskar Fiuk, Emanuel Kieronski

Log. Methods Comput. Sci., 2025

Two-Variable Logic for Hierarchically Partitioned and Ordered Data.

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

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