Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Výuka Klasické logiky I 16. a 17.10. z důvodu pracovní cesty odpadá. M. Bílková.

15. říjen 2017

byla umluvena na Pondělí 14:10 do učebny 119b. První přednáška proběhne v pondělí 9. října.

06. říjen 2017

začínají až ve Čt 12.10. (učebna 137, 15:00).
04. říjen 2017

Export 61 results:
Sort by: Autor Nadpis [ Typ  (Asc)] Year
Book
Book Chapter
Peliš, M., "Consequence Relations in Inferential Erotetic Logic", Consequence, Inference, Structure: Faculty of Arts, Charles University, pp. 53–88, 2008.  Stáhnout: pdf preprint (261.61 KB)
Majer, O., and M. Peliš, "Epistemic Logic with Relevant Agents", The Logica Yearbook 2008: College Publications, pp. 123–135, 2009.  Stáhnout: pdf preprint (198.44 KB)
Peliš, M., and O. Majer, "Logic of Questions and Public Announcements", Eighth International Tbilisi Symposium on Logic, Language and Computation 2009: Springer, pp. 145–157, 2011.  Stáhnout: pdf preprint (305.34 KB)
Peliš, M., and O. Majer, "Logic of Questions from the Viewpoint of Dynamic Epistemic Logic", The Logica Yearbook 2009: College Publications, pp. 157–172, 2010.  Stáhnout: pdf preprint (183.89 KB)
Bílková, M., "Normal forms, Distributive laws, and Uniform interpolants", Consequence, Inference, Structure, vol. VII, Prague, FF UK, pp. 35-45, 2009.
Bílková, M., O. Majer, M. Peliš, and G. Restall, "Relevant Agents", Advances in Modal Logic: College Publications, pp. 22–38, 2010.  Stáhnout: pdf preprint (236.85 KB)
Peliš, M., "Some Properties of Kripke Semantics for Intuitionistic Logic", Miscellanea Logica V: Faculty of Arts, Charles University, pp. 53–88, 2008.  Stáhnout: pdf preprint (1001.27 KB)
Conference Paper
Švarný, P., "Bohr a jazyk fyziky", Niels Bohr jako vědec, filosof a občan, Pardubice, 2012.  Stáhnout: Svarny:2012:BohrJazyk.pdf (44.67 KB)
Švarný, P., "Does branching explain flow of time or the other way around?", Proceedings of the First International Conference on Logic and Relativity 2012, 2012. Abstract
Švarný, P., "Pros and cons of physics in logics", New Directions in the Philosophy of Science, vol. 5, 2014.
Bílková, M., A. Kurz, D. Petrisan, and J. Velebil, "Relation Liftings on Preorders and Posets", CALCO 2011, vol. LNCS 6859 , pp. 115-129, 2011.
Švarný, P., "A visit on the uncanny hill", Beyond Artificial Intelligence: Contemplations, Expectations, Applications: Springer, pp. 133-142, 2015. Abstract  Stáhnout: pdf preprint (79.28 KB)
Conference Proceedings
Journal Article
Brian, W., and J. L. Verner, "$G_\delta$ semifilters and $\omega^*$", Fundamenta Mathematicae, vol. accepted, 2016.  Stáhnout: pdf preprint (267.44 KB)
Hrušák, M., and J. L. Verner, "Adding ultrafilters by definable quotients", Rend. Circ. Mat. Palermo (2), vol. 60, no. 3, pp. 445–454, 2011.  Stáhnout: pdf preprint (216.04 KB)
Honzík, R., "A characterization of lifting generics for Sacks-like forcings", Acta Universitatis Carolinae, Mathematica et Physica, vol. 51, pp. 49–55, 2010.  Stáhnout: pdf preprint (131.79 KB)
Friedman, S. - D., and R. Honzík, "A definable failure of the Singular Cardinal Hypothesis", Israel Journal of Mathematics, vol. 192, no. 2, pp. 719–762, 2012.  Stáhnout: pdf preprint (315.57 KB)
Friedman, S. - D., and R. Honzík, "Easton's theorem and large cardinals", Annals of Pure and Applied Logic, vol. 154, no. 3, pp. 191-208, 2008.  Stáhnout: pdf preprint (302.84 KB)
Friedman, S. - D., and R. Honzík, "Eastonʼs theorem and large cardinals from the optimal hypothesis", Annals of Pure and Applied Logic, vol. 163, no. 12, pp. 1738–1747, 2012.  Stáhnout: pdf preprint (316.64 KB)
Verner, J. L., "Filter convergence in $\beta\omega$", AUC Philosophica et Historica, Miscellanea Logica IX, vol. 2, 2013.  Stáhnout: pdf preprint (495.87 KB)
Friedman, S. D., R. Honzík, and L. Zdomskyy, "Fusion and large cardinal preservation", Annals of Pure and Applied Logic, vol. 164, pp. 1247--1273, 2013.  Stáhnout: pdf preprint (554.09 KB)
Honzík, R., "Global singularization and the failure of SCH", Annals of Pure and Applied Logic, vol. 161, no. 7, pp. 895-915, 2010.  Stáhnout: pdf preprint (337.43 KB)
Bílková, M., D. de Jongh, and J. J. Joosten, "Interpretability in PRA", Annals of Pure and Applied Logic, vol. 161, no. 2: Elsevier, pp. 128–138, 2009.  Stáhnout: pdf preprint (228.88 KB)
Švejdar, V., "An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant", Fundamenta Informaticae, vol. 81, no. 1: IOS Press, pp. 347–354, 2007.
Honzík, R., "Large cardinals and the Continuum Hypothesis", AUC Philosophica et Historica, Miscellanea Logica IX, vol. 2, 2013.  Stáhnout: pdf preprint (348.69 KB)
Honzík, R., and J. L. Verner, "A lifting argument for the generalized Grigorieff forcing", Notre Dame Journal of Formal Logic, vol. 57, no. 2, pp. 221--231, 2016.  Stáhnout: pdf preprint (210.54 KB)
Verner, J. L., "Lonely points in $\omega^\ast$", Topology Appl., vol. 155, no. 16, pp. 1766–1771, 2008.  Stáhnout: pdf preprint (187.31 KB)
Verner, J. L., "Lonely points revisited", Commentationes Mathematicae Universitatis Carolinae, vol. 54, no. 1: Charles University in Prague, Faculty of Mathematics and Physics, pp. 105–110, 2013.  Stáhnout: pdf preprint (191.43 KB)
Bílková, M., "Monotone sequent calculus and resolution", Comment. Math. Univ. Carolinae, vol. 42, issue 3, pp. 575-582, 2001.
Švejdar, V., "On interpretability in the theory of concatenation", Notre Dame Journal of Formal Logic, vol. 50, no. 1: University of Notre Dame, pp. 87–95, 2009. Abstract  Stáhnout: pdf preprint (182.3 KB)
Bílková, M., J. Velebil, and Y. Venema, "On monotone modalities and adjointness", Mathematical Structures in Computer Science, vol. 21, no. 02: Cambridge Univ Press, pp. 383–416, 2011.
Blass, A., M. Hrušák, and J. Verner, "On strong $P$-points", Proc. Amer. Math. Soc., vol. 141, no. 8, pp. 2875–2883, 2013.  Stáhnout: pdf preprint (295.67 KB)
Arazim, P., "Pluralism in Geometry", Acta Universitatis Carolinae Philosophica et Historica 2010, vol. 2, 2013. Abstract  Stáhnout: pdf preprint (119.88 KB)
Bílková, M., A. Palmigiano, and Y. Venema, "Proof systems for Moss' coalgebraic logic", Theoretical Computer Science, vol. 549, pp. 36-60, 2014.
Bílková, M., A. Palmigiano, and Y. Venema, "Proof systems for the coalgebraic cover modality", Advances in Modal Logic, vol. 7: College Publications, pp. 1–21, 2008.  Stáhnout: pdf (526.87 KB)
Peliš, M., "Questions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic", Logique & Analyse, vol. 185–188, pp. 217–226, 2004.  Stáhnout: pdf preprint (198.44 KB)
Honzík, R., "Quick guide to independence results in set theory", Miscellanea Logica, vol. 7, pp. 89–131, 2009.  Stáhnout: pdf (432.54 KB)
Douchová, V., and J. Nešetřil, "S. Zeki and Neuroaesthetics – A possible framework to objectify aesthetics", Acta Universitatis Carolinae Philosophica et Historica 2010, vol. 2, 2013. Abstract  Stáhnout: pdf preprint (519.49 KB)
Peliš, M., "Set of Answers Methodology in Erotetic Epistemic Logic", Acta Universitatis Carolinae – Philosophica et Historica, vol. 2/2010, pp. 61–74, 2013.  Stáhnout: pdf preprint (566.46 KB)
Friedman, S. - D., and R. Honzík, "Supercompactness and failures of GCH", Fundamenta Mathematicae, vol. 219, no. 1, pp. 15–36, 2012.  Stáhnout: pdf preprint (373.74 KB)
Bílková, M., "Uniform interpolation and propositional quantifiers in modal logics", Studia Logica, vol. 85, no. 1: Springer, pp. 1–31, 2007.  Stáhnout: pdf preprint (290.69 KB)
Švarný, P., "Wally Axiomatics", Acta Universitatis Carolinae Philosophica et Historica 2010, Miscellanea Logica 9, vol. 2: Charles University, pp. 75–86, 2013.  Stáhnout: pdf preprint (455.09 KB)
Miscellaneous