Michał Zawidzki

dr

Wydział Filozoficzno-Historyczny

Katedra Logiki i Metodologii Nauk

adiunkt posiadający stopień naukowy doktora

pracownicy tej jednostki oraz jednostek podległych
Lindleya 3/5
90-131 Łódź
pokój: 305
Konsultacje

Zimowa sesja egzaminacyjna: (winter exams:)

24.01 (wtorek), 12:30-13:30 [24 January (Tuesday), 12:30-1:30 p.m.]

25.01 (środa), 13:15-14:15 [25 January (Wednesday), 1:15-2:15 p.m.]

30.01 (poniedziałek), 10:00-12:00 [30 January (Monday), 10:00-12:00 a.m.]

13.02 (poniedziałek), 10:00-12:00 [13 February (Monday), 10:00-12:00 a.m.]

Instytut Filozofii UŁ (ul. Lindleya 3/5, III piętro), pok. 305

(Institute of Philosophy (3/5 Lindleya St., 3rd floor), room 305)

tel.: +48 42 635-61-32 tel./fax: +48 42 635-61-29


Qualitative Physics in Angry Birds

Autorzy: Przemysław Wałęga, Michał Zawidzki, Tomasz Lechowski
Rok publikacji: 2016

Published in: IEEE Transactions on Computational Intelligence and AI in Games:8(2), 2016, pp. 152-165.


Proceedings of the LQMR 2015 Workshop (FedCSIS Conference)

Autorzy: Tomasz Lechowski, Przemysław Wałęga, Michał Zawidzki (eds.)
Rok publikacji: 2015

Published in: Annals of Computer Science and Information Systems, Volume 7, 2015, pp. 79.


Trends in Logic XIII (conference proceedings)

Autorzy: Andrzej Indrzejczak, Janusz Kaczmarek, Michał Zawidzki (eds.)
Rok publikacji: 2014

Published by: Łódź University Press, 2014, pp. X+270.


Deductive systems and the decidability problem for hybrid logics

Autorzy: Michał Zawidzki
Rok publikacji: 2014

Published by Łódź University Press/Jagiellonian University Press (in association with Columbia University Press), pp. 232.


Satisfiability problem for modal logic with global counting operators coded in binary is NEXPTIME-complete

Autorzy: Michał Zawidzki, Renate Schmidt, Dmitri Tishkovsky
Rok publikacji: 2013

Published in: Information Processing Letters:113(1-2), 2013, pp. 34-38.


Decision procedures for some strong hybrid logics

Autorzy: Andrzej Indrzejczak, Michał Zawidzki
Rok publikacji: 2013

Published in: Logic and Logical Philosophy:22(4), 2013, pp. 389-409.


Tableau-based decision procedure for hybrid logic with satisfaction operators, universal modality and difference modality

Autorzy: Michał Zawidzki
Rok publikacji: 2012

Published in: Proceedings of the Student Session of the 24th European Summer School of Logic, Language and Information 2012, 2012, pp. 209-220.

Link do publikacji: http://ceur-ws.org/Vol-954/

Adequacy of the Logic K(En)

Autorzy: Michał Zawidzki
Rok publikacji: 2012

Published in: Bulletin of the Section of Logic:42(3-4), 2012, pp. 155-172.


Data publikacji: 2016-12-13 12:07:48

Dyżur przeniesniony z 13 na 15 grudnia / Office hours moved from 13th to 15th December

W nadchodzącym tygodniu mój dyżur nie odbędzie się w zwyczajowym terminie, tj. we wtorek (13 grudnia) o 14:15, lecz w czwartek (15 grudnia) w godz. 14:15-16:15. Za niedogodności przepraszam.

In the forthcoming week I am moving my office hours from Tuesday (13th December) to Thursday (15 December), 2:15 p.m - 4:15 p.m. I apologize for any inconvenience.


Data publikacji: 2016-11-21 20:38:45

Dyżur przesunięty z 22 na 24 listopada/Office hours moved from 22nd to 24th November

W nadchodzącym tygodniu mój dyżur nie odbędzie się w zwyczajowym terminie, tj. we wtorek (22 listopada) o 14:15, lecz w czwartek (24 listopada) w godz. 11:30-13:30. Za niedogodności przepraszam.

In the forthcoming week I am moving my office hours from Tuesday (22nd November) to Thursday (24 November), 11:30 a.m - 1:30 p.m. I apologize for any inconvenience.


Data publikacji: 2016-10-24 01:47:25

Odwołany dyżur i zajęcia (Cancelled office hours and classes)

Ze względu na wyjazd konferencyjny w dniach 25-26 października odwołuję swój wtorkowy dyżur (25 pażdziernika).

Zajęcia z logiki dla kierunku socjologia, które powinny odbyć się 25 października, zostaną odrobione w innym terminie.

Zajęcia z logiki 2.0 dla kierunku socjologia, które powinny odbyć się 26 października, również zostaną odrobione w innym terminie.

Due to a conference leave I must cancel my office hours scheduled for Tuesday (25th of October).

The Introduction to political philosophy class which we should have on Wednesday (26th of October) will be rescheduled to another date.


















Profil
Dorobek
Inne
Materiały

OSTRZEŻENIE

Korzystasz ze starej wersji przeglądarki Internet Explorer, która nie wspiera nowych technologii, może to wywołać nieprawidłowe funkcjonowanie strony. Twoja wersja przeglądarki może posiadać również poważne luki bezpieczeństwa. Jeśli jednak posiadasz najnowszą wersję przeglądarki, sprawdź czy nie jest uruchomiona w trybie zgodności.
Pobierz i zainstaluj najnowszą kompatybilną wersję przeglądarki

Rozumiem ostrzeżenie, zamknij komunikat