Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Miha Habić bude mluvit na téma. Prediction principles in set theory: It's OK to guess.
...

11. listopad 2017

Bílková M, Majer O, Peliš M, Restall G. Relevant Agents. In: Beklemishev L, Goranko V, Shehtman V, editors. Advances in Modal Logic. College Publications; 2010. p. 22-38. Stáhnout: pdf preprint (236.85 KB)
Bílková M. Normal forms, Distributive laws, and Uniform interpolants. In: Bílková M, editor. Consequence, Inference, Structure. Vol VII. Prague: FF UK; 2009. p. 35-45. (Miscellanea Logica ; vol VII).
Bílková M. Normal forms, Distributive laws, and Uniform interpolants. In: Bílková M, editor. Consequence, Inference, Structure. Vol VII. Prague: FF UK; 2009. p. 35-45. (Miscellanea Logica ; vol VII).
Bílková M, de Jongh D, Joosten JJ. Interpretability in PRA. Annals of Pure and Applied Logic. 2009;161:128-38. Stáhnout: pdf preprint (228.88 KB)
Peliš M. Consequence Relations in Inferential Erotetic Logic. In: Bílková M, editor. Consequence, Inference, Structure. Faculty of Arts, Charles University; 2008. p. 53-88. Stáhnout: pdf preprint (261.61 KB)
Bílková M, Palmigiano A, Venema Y. Proof systems for the coalgebraic cover modality. Advances in Modal Logic. 2008;7:1-21. Stáhnout: pdf (526.87 KB)
Bílková M. Feasible Disjunction Property and Feasible Interpolation in Modal Logic. Vol 2007-341. ITI preprint series ed. ITI preprint series MFF UK; 2007.