| 2026 | AAAI | Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction. | Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2025 | JELIA | Deciding Non-fregean Identities: A Dual Tableau Approach. | Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki |
| 2025 | JELIA | On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. | Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2023 | AAAI | Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. | Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau |
| 2023 | JELIA | Hybrid Modal Operators for Definite Descriptions. | Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2023 | KR | Computing All Facts Entailed By An LTL Specification. | Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase |
| 2021 | CADE | Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. | Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki |
| 2021 | KR | Finitely Materialisable Datalog Programs with Metric Temporal Operators. | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
| 2021 | TABLEAUX | Tableaux for Free Logics with Descriptions. | Andrzej Indrzejczak, Michal Zawidzki |
| 2019 | TIME | A Modal Logic for Subject-Oriented Spatial Reasoning. | Przemyslaw Andrzej Walega, Michal Zawidzki |