Zainteresowania badawcze:

• logika klasyczna,
• logiki nieklasyczne (logika modalna, logika parakonsystentna, logika intuicjonistyczna, logika relewantna),
• semantyki możliwych światów,
• systemy aksjomatyczne,
• reguły odrzucania wyrażeń.

Najważniejsze publikacje:

1. Refutation systems in propositional logic, [w:] D.M. Gabbay and F. Guenthner (red.), "Handbook of Philosophical Logic", Dordrecht-Heidelberg-London-New York 2011.
2. Refutation Methods in Modal Propositional Logic, Warszawa 2013.
3. The greatest paraconsistent analogue of Intuitionistic Logic, [w:] Proceedings of the 11th Panhellenic Logic Symposium, Delphi 2017.
4. Refutations in Wansing’s logic, "Reports on Mathematical Logic" 2017, vol. 52.

Proponowane tematy:

• Aksjomatyczne systemy odrzucania dla logik nieklasycznych.

Uwagi

• Brak

Informacje o promotorze