2010-2018 – annual research projects financed by CSWU
2006 - 2007 – Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages. Project financed by the Polish Ministry of Science nr N 101 002 31/0087, principal investigator.
2011 - 2012 – Modal logic of change LCG and some philosophically inspired extensions of it. Formal description of certain kinds of changing of convictions and selfreferential sentences. Project financed by the Polish Ministry of Science, N N101 162040, principal investigator.
2011 - 2013 – Sztuczna inteligencja i abstrakcyjna struktura bytu. Project in cooperation with Warsaw University of Technology, Łazarski University and CSWU. Team member.
2013 - 2015 – Gödel’s ontological argument: history, modifications, extensions, and controversies. Project financed by the Polish Ministry of Science, Harmonia 4, nr dec. 2013/08/M/HS1/0043, principal investigator.
2015-2018 – Logic, Concepts, and Communication. Principal supervisor: S. Kovač. Project financed by Croatian Science Foundation. Team member.
2017 – 2018 Forum Logicum. Project financed by National Centre for Research and Development PWR.03.01.00-00-EF46/16. Project manager.
since 2017 – Theories of epistemic and ontic modalities with the primitive concept of change. Extensions of Logic of Change LC. Principal supervisor: M. Łyczak. Project financed by the Polish Ministry of Science, Preludium 13, 2017/25/N/HS1/02779. Scientific supervisor.