Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. - Michal Zawidzki; Renate A. Schmidt; Dmitry Tishkovsky (Inf. Process. Lett., 2013)

Qualitative Physics in Angry Birds. - Przemyslaw Andrzej Walega; Michal Zawidzki; Tomasz Lechowski (IEEE Trans. Comput. Intell. AI Games, 2016)

Tableau-based Decision Procedure for the Logic SCI. - Joanna Golinska-Pilarek; Michal Zawidzki (OVERLAY@AI*IA, 2019)

From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics. - Yaroslav I. Petrukhin; Michal Zawidzki (AI*IA, 2019)

A Modal Logic for Subject-Oriented Spatial Reasoning. - Przemyslaw Andrzej Walega; Michal Zawidzki (TIME, 2019)

Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. - Joanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki (CADE, 2021)

Finitely Materialisable Datalog Programs with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (KR, 2021)

Tableaux for Free Logics with Descriptions. - Andrzej Indrzejczak; Michal Zawidzki (TABLEAUX, 2021)

Subject-oriented spatial logic. - Przemyslaw Andrzej Walega; Michal Zawidzki (Inf. Comput., 2021)

Reasoning Techniques in DatalogMTL. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (Datalog, 2022)

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. - Przemyslaw Andrzej Walega; Michal Zawidzki; Dingmin Wang; Bernardo Cuenca Grau (AAAI, 2023)

Hybrid Modal Operators for Definite Descriptions. - Przemyslaw Andrzej Walega; Michal Zawidzki (JELIA, 2023)

Computing All Facts Entailed By An LTL Specification. - Przemyslaw Andrzej Walega; Michal Zawidzki; Christoph Haase (KR, 2023)

Finite Materialisability of Datalog Programs with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (J. Artif. Intell. Res., 2023)

Definite Descriptions and Hybrid Tense Logic. - Andrzej Indrzejczak; Michal Zawidzki (CoRR, 2024)

Deciding Non-fregean Identities: A Dual Tableau Approach. - Joanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki (JELIA (2), 2025)

On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. - Andrzej Indrzejczak; Przemyslaw Andrzej Walega; Michal Zawidzki (JELIA (2), 2025)