2025W

• Decidable Logics for Knowledge and Data / 192.181 / VU

• FINGO: Finite Graph Operating Automata Meet Dynamic Logics
  2026 – 2029 / Austrian Science Fund (FWF)

• The adjacent fragment and Quine’s limits of decision / Bednarczyk, B. J., Kojelis, D., & Pratt-Hartmann, I. (2025). The adjacent fragment and Quine’s limits of decision. Journal of Logic and Computation, 35(6), Article exaf042. https://doi.org/10.1093/logcom/exaf042
  Project: Ontegra (2024–2027)
• Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards / Bednarczyk, B. J., & Kieroński, E. (2025). Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards. In M. Ortiz, R. Wassermann, & T. Schaub (Eds.), Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning : Melbourne, Australia. November 11-17, 2025 (pp. 89–99). IJCAI. https://doi.org/10.24963/kr.2025/9