Vít Punčochář

Mgr. Vít Punčochář, Ph.D.

    Address

    Department of Philosophy and Religious Studies

    Room no. 222

    Schedule

    Office Hours

    by prior agreement via email (vit.puncochar@ff.cuni.cz)

    Publications

    Books

    • Punčochář, V. (2019) Paradoxy klasické logiky. Filosofie a logika hypotetických vět. Praha: Filosofia.
    • Kolman, V., Punčochář, V. (2015). Formy jazyka. Úvod do logiky a její filosofie. Praha: Filosofia.

    Papers

    • Punčochář, V., Ferguson, T. (2026) Analytic Implication and Equivalence in Truthmaker Semantics for Intuitionistic Logic. In: Hogeweg, L., Jalali, R., Sedlár, I., Schwarz, L. (eds) Logic, Language, and Computation. TbiLLC 2023. Springer.
    • Punčochář, V., Noguera, C. (2026) Information types in intuitionistic predicate logic with constant domains, Logic Journal of IGPL, 34, jzaf057.
    • Ferguson T., Punčochář V. (2025) Inquisitive split and structural completeness. Mathematical Structures in Computer Science, 35, e12.
    • Punčochář, V., Ferguson, T. (2025) Implying and containing in truthmaker semantics. In Tedder, A., Standefer, S., Sedlár, I. (eds.) New Directions in Relevant Logic. Cham: Springer. pp. 203-223.
    • Punčochář, V., Bílková, M., Bozdag, S. Ferguson, T. (2025) Consistency-sensitive epistemic modalities in information-based bemantics, Studia Logica, 113, 1061–1099.
    • Punčochář, V., Pezlar, I. (2024) Informative presupposition in inquisitive logic. In:Ciabattoni, A., Gabelaia, D., Sedlár, I. (eds.). Advances in Modal Logic 2024, Volume 15. London: College Publications, 2024, pp. 609-630.
    • Punčochář, V., Sedlár, I., Majer, O. (2023) Truth-maker semantics for some substructural logics. In: Faroldi F., Van De Putte, F. (Eds.) Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Outstanding Contributions to Logic. Springer, s. 207-222.
    • Punčochář, V. (2023) Logical forms, substitutions and information types, Logic and Logical Philosophy, 32, 3, 459-473.
    • Punčochář, V. (2023) Fuzzy truth, fuzzy support and fuzzy information states for inquisitive semantics. In: Marquis, P., Son, T., Kern-Isberner, G. (eds.) Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. International Joint Conferences on Artificial Intelligence Organization, s. 572-581.
    • Punčochář, V., Ferguson, T. (2023) Structural completeness and superintuitionistic inquisitive logics. In: Hansen, H., Scedrov, A., de Queiroz, R. (eds.) Logic, Language, Information, and Computation, WoLLIC 2023. Lecture Notes in Computer Science 13923, Springer, s. 194-210.
    • Punčochář, V., Sedlár, I., Tedder, A. (2023) Relevant epistemic logic with public announcements and common knowledge, Journal of Logic and Computation, 33, 2, 436-461.
    • Punčochář, V. (2022) Iterated team semantics for a hierarchy of informational types, Annals of Pure and Applied Logic, 173(10), 103156.
    • Punčochář, V., Sedlár, I. (2022) Routley star in information-based semantics. Proceedings of 10th International Conference on Non-classical logics: Theory and Applications. Electronic Proceedings in Theoretical Computer Science, vol. 358, s. 285-297.
    • Punčochář, V. Grimau, B. (2022) Natural deduction for assertibility and deniability. Proceedings of 10th International Conference on Non-classical logics: Theory and Applications. Electronic Proceedings in Theoretical Computer Science, vol. 358, s. 41-54.
    • Punčochář, V. (2021) Jak je možná svobodná volba v deterministickém světě, Filosofie dnes, 13, 71-88.
    • Punčochář, V. (2021) Inquisitive Heyting algebras, Studia Logica, 109, 995-1017.
    • Punčochář, V., Sedlár, I. (2021) Epistemic extensions of substructural inquisitive logics. Journal of Logic and Computation, 31, 1820-1844.
    • Punčochář, V., Sedlár, I. (2021) Inquisitive propositional dynamic logic, Journal of Logic, Language and Information, 30, 91-116.
    • Punčochář, V., Tedder, A. (2021) Disjunction and negation in information based semantics. In: Silva, A., Wassermann, R., de Queiroz, R. (eds.) Logic, Language, Information, and Computation, WoLLIC 2021, Lecture Notes in Computer Science, vol 13038. Cham: Springer, s. 355-371.
    • Punčochář, V., Sedlár, I. (2021) Relevant epistemic logic with public announcements and common knowledge. In: Baroni, P.; Benzmüller, C.; Wáng, Y. (eds.) Logic and Argumentation: 4th International Conference, CLAR 2021, Lecture Notes in Computer Science, vol 13040. Cham: Springer, s. 342-361.
    • Punčochář, V. (2020) Inquisitive dynamic epistemic logic in a non-classical setting. In: Martins M.A., Sedlár I. (eds): Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science, vol 12569. Springer, 205-221.
    • Punčochář, V., Gauker, Ch. (2020) Indicative conditionals in objective contexts. Theoria, 86, 651-687.
    • Punčochář, V. (2020) A relevant logic of questions. Journal of Philosophical Logic, 49, 905-939pages905–939PunPPdfaf a
    • Sedlár, I., Punčochář, V., Tedder, A. (2019) First Degree Entailment with group attitudes and information updates. LORI-VII. Lecture Notes in Computer Science, Springer, 273-285.
    • Sedlár, I., Punčochář, V. (2019) From positive PDL to its non-classical extensions, Logic Journal of IGPL, 27, 522-542.
    • Punčochář, V. (2019) Substructural inquisitive logics, Review of Symbolic Logic, 12, 296-330.
    • Punčochář, V. (2017) Problém svobodné vůle a logika kontrafaktuálních výroků (Problem of free will and the logic of counterfactuals). Filosofický časopis, 65, 607-631.
    • Punčochář, V., Sedlár, I. (2017) Substructural logics for pooling information. In: Baltag, A., Seligman, J. Yamada, T. (eds.) Logic, Rationality, and Interaction, 6th International Workshop, LORI 2017, Springer, 407-421.
    • Punčochář, V. (2017) Knowledge is a diamond. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) Logic, Language, Information, and Computation, 24th Interantional Workshop, WoLLIC 2017, Springer, 304-321.
    • Punčochář, V. (2017) A general framework for logics of questions. In: Arazim, P., Lávička, T. (eds.): The Logica Yearbook 2016, College Publications, 223-238.
    • Punčochář, V. (2017) Algebras of information states, Journal of Logic and Computation, 27, 1643–1675.
    • Punčochář, V. (2016). A nonstandard semantic framework for intuitionistic logic. In Arazim, P., Dančák, M. (eds.) The Logica Yearbook 2015, College Publications, 179-192.
    • Punčochář, V. (2016). Semantics of assertibility and deniability. In Redmond, J., Pombo Martins, O., Nepomuceno Fernández, Á. (eds.) Epistemology, Knowledge and the Impact of Interaction, Springer, 343-362.
    • Punčochář, V. (2016). A generalization of inquisitive semantics. Journal of Philosophical Logic, 45, 399-428.
    • Punčochář, V. (2015). Weak negation in inquisitive semantics. Journal of Logic, Language and Information, 23, 47-59.
    • Punčochář, V. (2014). A new semantic framework for modal logic. Philosophical Alternatives 23(6), 47-59.
    • Punčochář, V. (2014). Indikativní a subjunktivní hypotetické soudy: Epistemický vs. ontický přístup.Organon F 21, Supplementary Issue 1, 119-137.
    • Punčochář, V. (2014). Intensionalisation of logical operators. In: Dančák, M., Punčochář, V. (eds.): The Logica Yearbook 2013. London: College Publications, 173-186.
    • Punčochář, V. (2013). Pravdivost vs. tvrditelnost. Organon F 20, Supplementary Issue 1, 122-143.
    • Punčochář, V. (2012). Some modifications of Carnap’s modal logic. Studia Logica 100, 517-543.
    • Punčochář, V. (2012). Matematický realismus a naturalismus Penelope Maddy. Organon F 19, Supplementary Issue 1, 199-226.
    • Punčochář, V. (2010). Carnapova modální logika C. Organon F 17(2), 163-184.

     

    Theses

     

    Courses taught

    Úvod > Department > Staff > Vít Punčochář