Dr Michał Zawidzki
Wolfson Building, Parks Road, Oxford OX1 3QD
My research interests are in logic, broadly construed, knowledge representation and reasoning, and automated deduction. In particular, I have recently been working on datalog-like languages featuring temporal operators, extensions of first-order logic with term-forming operators, such as the definite description operator ι, logics for spatial reasoning, and logics expressing identity between formulas.
I studied political science at the University of Łódź, from 2003 to 2008, but I did not pursue my interest in political theory research-wise. I then did my my master's in philosophy, in 2009, followed by a Ph.D. in philosophical logic received from the University of Łódź in 2013. My Ph.D. thesis was concerned with hybrid modal logics and modal logics with counting operators and tableau systems for them. My formal education to date was completed with a master's degree in mathematics in 2018.
I took part in several research projects: Deductive systems and the decidability problem for hybrid logics (2011-2013, P.I.), Logics for qualitative reasoning (2013-2017, research associate), From syntax and pragmatics to content - hybrid semantics based on directival theory of meaning (2015-2017, research associate), Sequent- and tableau-based proof systems for non-classical logics (2017-2022, research associate), Logics of situations (2017-, research associate).
Subject−oriented spatial logic
Michał Zawidzki Przemysław A. Wałęga
In Information and Computation. Vol. 280. Pages 104643. 2021.
Details about Subject−oriented spatial logic | BibTeX data for Subject−oriented spatial logic | DOI (10.1016/j.ic.2020.104643)
Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity
Joanna Golińska−Pilarek‚ Michał Zawidzki and Taneli Huuskonen
In André Platzer and Geoff Sutcliffe, editors, Automated Deduction – CADE 28. CADE 2021. Vol. 12699 of Lecture Notes in Computer Science. Pages 41−57. Cham. 2021. Springer.
Details about Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity | BibTeX data for Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity | DOI (10.1007/978-3-030-79876-5_3)
Tableaux for Free Logics with Descriptions
Andrzej Indrzejczak and Michał Zawidzki
In Anupam Das and Sara Negri, editors, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Vol. 12842 of Lecture Notes in Computer Science. Pages 56−73. Cham. 2021. Springer.
Details about Tableaux for Free Logics with Descriptions | BibTeX data for Tableaux for Free Logics with Descriptions | DOI (10.1007/978-3-030-86059-2_4)