Publications

Books

• Punčochář, V. (2019) Paradoxy klasické logiky. Filosofie a logika hypotetických vět (Paradoxes of classical logic. Philosophy and logic of conditionals) Praha: Filosofia.
• Kolman, V., Punčochář, V. (2015) Formy jazyka (Forms of language). Praha: Filosofia.

Papers

• Punčochář, V., Bílková, M., Bozdag, S. Ferguson, T. (2024) Consistency-sensitive epistemic modalities in information-based bemantics, Studia Logica, https://doi.org/10.1007/s11225-024-10115-3
• 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, pp. 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, pp. 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, pp. 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, pp. 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, pp. 41-54.
• Punčochář, V. (2021) Jak je možná svobodná volba v deterministickém světě [How it is possible to have free choice in a deterministic world.], 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, pp. 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, pp. 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-939.
  
• 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 (Indicative and Subjunctive Conditionals: Epistemic vs. Ontic Approach). 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. College Publications, 173-186.
• Punčochář, V. (2013). Pravdivost vs. tvrditelnost (Truth vs. Assertability). Organon F 20, Supplementary Issue 1, 122-143. 
• Punčochář, V. (2012). Some modifications of Carnap's modal logic. Studia Logica 100(3), 517-543.
• Punčochář, V. (2012). Matematický realismus a naturalismus Penelope Maddy (Mathematical Realism and Penelope Maddy's Naturalism). Organon F 19, Supplementary Issue 1, 199-226.
• Punčochář, V. (2010). Carnapova modální logika C (Carnap's Modal Logic C). Organon F 17(2), 163-184.

Translations

• Stekeler–Weithofer, P.: Sind die Urteile der Arithmetik synthetisch a priori? In: Janoušek, H., Kolman, V. (eds.): Syntetické apriori. Praha: Filosofia, 2012, 441-470.
• Bolzano, B.: Anhang über die Kantische Lehre von der Construction der Begriffe durch Anschauungen. In: Janoušek, H., Kolman, V. (eds.): Syntetické apriori. Praha: Filosofia, 2012, 117-123.
• Hilbert, D.: Über das Unendliche. In: Kolman, V., Roreitner, R. (eds.): O špatném nekonečnu. Praha: Filosofia, 2013, 343-365.

Editorial work

• Dančák, M., Punčochář, V. (eds.): The Logica Yearbook 2013. College Publications, 2014.
• Punčochář, V., Švarný, P. (eds.): The Logica Yearbook 2012. London: College Publications, 2013.
• Peliš, M., Punčochář, V. (eds.): The Logica Yearbook 2011. London: College Publications, 2012.
• Peliš, M., Punčochář, V. (eds.): The Logica Yearbook 2010. London: College Publications, 2011.

Conferences

Selected Presentations

• Informative presupposition in inquisitive logic (co-author: Ivo Pezlar), Advances in Modal Logic, Prague, Czech Republic, August 2024
• Conditionals in a hierarchy of contexts (invited talk), Mind and Language in a natural world, Salzburg, Austria, July 2024
• An algebraic representation of information types, Scandinavian Logic Symposium, Reykjavik, Island, June 2023
• A modal approach to informative presupposition (invited talk), First Workshop on Inquisitive Modal Logic and Related Topics. Padua, Italy, February 2024
• Intuitionistic and analytic implication in truthmaker semantics (co-author: Thomas Ferguson), 14th Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, Telavi, Georgia, September 2023
• Fuzzy truth, fuzzy support and fuzzy information states for inquisitive semantics, 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2023
• Information channels and substructural logics, The 11th European Congress of Analytic Philosophy, ECAP23, Vídeň, Rakousko, srpen 2023
• Structural completeness and superintuitionistic inquisitive logics (co-author: Thomas Ferguson), 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023, Halifax/online, Canada, July 2023
• Embedded analytic containment (co-author: Thomas Ferguson), Czech Gathering of Logicians, Ostrava, Czech Republic, June 2023
• Relevant epistemic logic (invited talk), New Directions in Relevant Logic, online, November 2022
• Logical forms, substitutions, and types of information, What are Logical Froms (Good for)? Prague, Czech Republic, October 2022
• Consistency-sensitive epistemic modalities in information based semantics (co-author: Sena Bozdag), 6th World Congress of Paraconsistency, Torun, Poland, September 2022
• First-order logic of questions (invited talk), Czech Gathering of Logicians, Prague, Czech Republic, June 2022
• Semantic relativity and syntactic sensitivity, Logic4Peace, online, April 2022
• Routley star in information-based semantics (co-autor: Igor Sedlár, awarded as the best paper of the conference), Non-Classical Logics. Theory and Application, Lodz, Poland, March 2022
• Natural deduction for assertibility and deniability (co-author: Berta Grimau), Non-Classical Logics. Theory and Application, Lodz, Poland, March 2022
• Punčochář, V., Noguera, C.: Information types in intuitionistic predicate logic, Non-Classical Modal and Predicate Logics 2021, Bochum, Germany, November 2021
• Punčochář, V., Sedlár, I.: Relevant Epistemic Logic with Public Announcements and Common Knowledge, The 4th International Conference on Logic and Argumentation, CLAR 2021, online, November 2021
• Punčochář, V., Tedder, A.: Disjunction and Negation in Information Based Semantics, WoLLIC 2021, 27th Workshop on Logic, Language, Information and Computation, online, October 2021
• Punčochář, V.: The Split Schema, Workshop on Logics of Dependence and Independence, online, August 2021
• Punčochář, V.: Jak počítat bez čísel [How to count without numbers], XXIV. Slovensko-české sympozium o analytické filozofii, Olomouc, Czech Republic, September 2020
• Punčochář, V.: A hierarchy of dependencies, Workshop on Logics of Dependence and Independence, online, August 2020
• Punčochář, V.: Logical form of counting, 10th European Congress of Analytic Philosophy, ECAP10, online, August 2020
• Logic for nominalists, presented at The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, Poland, December 2019
• FDE-based inquisitive dynamic epistemic logic, invited talk presented at A Workshop on FDE-based Modal Logics, Bochum, Germany, November 2019
• Algebraic semantics for inquisitive logics, presented at The International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) 2019, Prague, Czech Republic, August 2019
• Are mathematical objects just useful fictions?, invited talk presented at What does mathematics tell us about the physical world?, Prague, Czech Republic, May 2019
• A relevant logic of questions, presented at Colloquium Logicum 2018, Bayreuth, Germany, September 2018.
• Inquisitive propositional dynamic logic, presented at Non-Classical Logic. Theory and Applications 2018, Torun, Poland, September 2018.
• Inforamtional semantics for superintuitionistic modal logics (co-author: Igor Sedlár), presented at Advances in Modal Logic 2018, Bern, Switzerland, August 2018.
• Non-classical inquisitive logics, invited talk presented at Inquisitive Logic Workshop, Amsterdam, The Netherlands, July 2018.
• Substructural logics for pooling information (co-author: Igor Sedlár), presented at 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Sapporo, Japan, September 2017.
• Between material and strict implication, presented at Kyoto Philosophical Logic Workshop III, Kyoto, Japan, September2017.
• Modelování v logice a empirických vědách  (co-authors: Barbora Marková a Martin Zach), presented at XXI. česko-slovenské sympózium o analytickej filozofii, Stará Lesná, Slovakia, August 2017.
• Failure of some basic logical laws, presented at Contemporary Philosophy - Problems, Trends, Perspectives, Varna, Bulgaria, August 2017.
• Uniform substitution and replacement of equivalents, presented at Logic Colloquium 2017, Stockholm, Sweden, August 2017.
• Knowledge is a diamond, presented at 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2017), London, UK, July 2017.
• Substructural inquisitive logics, presented at Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou, China, December 2016.
• Problém svobodné vůle a logika kontrafaktuálních výroků, presented at XX. slovensko-české sympozium o analytické filosofii, Prague, Czech Republic, September 2016.
• A natural extension of substructural logics, presented at Logical Models, Sofia, Bulgaria, September 2016.
• Types of information in non-classical logics, invited talk presented at Conference on Mathematical Foundations of Informatics, Chisinau, Moldova, July 2016.
• Inquisitive disjunction in intermediate logics, presented at Workshop on Logic of Natural Languages, Chisinau, Moldova, July 2016.
• Generalized inquisitive semantics, presented at Logica 2016, Hejnice, Czech Republic, June 2016.
• Algebras of information states, invited talk presented at Questions in Logic and Semantics, Amsterdam, The Netherlands, December 2015.
• Combining relational and algebraic semantics, presented at 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, Finland, August 2015.
• Algebras of information states, presented at Logica 2015, Hejnice, The Czech Republic, June 2015.
• Free will and the logic of counterfactual conditionals, 1st World Congress on Logic and Religion, João Pessoa, Brazílie, April 2015.
• A new epistemic approach to formal semantics, presented at Eighth European Congress of Analytic Philosophy (ECAP8), Bucharest, Romania, August 2014.
• Internal and external logics of Nelson models, presented at 5th World Congress on Paraconsistency (WCP5), Kolkata, India, February 2014.
• Intensionalisation of logical operators, presented at Tenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2013), Gudauri, Georgia, September 2013.
• Indikativní a subjunktivní hypotetické soudy, presented at XVII. Česko-slovenské symposium o analytickej filozofii (SCS 2013), Trenčianske Teplice, Slovakia, September 2013.
• Some modifications of inquisitive semantics, presented at Logica 2013, Hejnice, The Czech Republic, June 2013.
• A logic of assertibility and deniability, presented at International Symposium of Epistemology, Logic and Language (ISELL2012), Lisbon, Portugal, October 2012.
• Kde je hranice mezi sémantikou a pragmatikou?, presented at XVI. Slovensko-české symposium o analytické filosofii, Třešť, The Czech Republic, September 2012.
• Conditionals and Contexts, presented at Logic Workshop at Buenos Aires - A Tribute to Horacio Arló-Costa, Buenos Aires, Argentina, August 2012.
• Matematický realismus a naturalismus Penelope Maddy, presented at XV. Česko-slovenské symposium o analytickej filozofii, Vrútky, Slovakia, September 2011.
• A modification of Carnap's modal logic, presented at Logica 2010, Hejnice, The Czech Republic, June 2010.

Organizational Work

Co-organizer of the conferences: Logica 2011, Logica 2012, Logica 2013, Logica 2014, Logica 2015, Logica 2016, Logica 2017, Logica 2018

Funding ID

Participation in Grants and Projects

• 2021-2025  Logical Structure of Information Channels (Principal investigator, Junior Star Project of the Czech Science Foundation, 21-23610M)
• 2018-2020 Non-Classical Logical Models of Informational Dynamics (Czech Science Foundation, 18-19162Y)
• 2017-2019 Logical Models of Reasoning and Argumentation in Natural Language (Czech Science Foundation, 17-15645S)
• 2016-2018 From Shared Evidence to Group Attitudes (Deutsche Forschungsgemeinschaft and Czech Science Foundation GA16-07954J)
• 2013-2016 Foundations of logic in the light of new results of philosophy and science (Czech Science Foundation GA13-21076S)
• 2011-2015 Apriority, syntheticity and analyticity from medieval thought to contemporary philosophy (Czech Science Foundation GAP401/11/0371)
• 2009-2012 Logical foundation of semantics (Czech Science Foundation GD401/09/H007)

Teaching

Teaching

Charles University, Faculty of Arts

• Logika 2011/12, 2014/15 [Logic, two-semester course]
• Logická propedeutika 2021/22 [Introduction to logic, one-semester course]
• Rozšiřující cvičení z logiky 2009/10, 2010/11, 2012/13, 2013/14, 2014/15, 2015/16, 2016/17, 2017/18, 2018/19, 2019/20 [Seminar in logic, two-semester course]
• Philosophy of Mathematics 2020/21, 2023/24 [one-semester course]
• Frege od A do Z 2017/18 [Frege from A to Z, one-semester course]
• Úvod do teoretické sémantiky 2011/12, 2012/13, 2013/14, 2014/15, 2015/16 [Introduction to theoretical semantics, one-semester course]
• Seminář k předmětu Filosofie jazyka 2013/14 [Seminar in Philosophy of language, two-semester course]
• Logická analýza jazyka 2009/10 [Logical analysis of language, one-semester course]

University of Hradec Králové, Faculty of Arts

• Logika 2012/13, 2013/14 [Logic, one-semester course]
• Kritické myšlení a argumentace 2013/14 [Critical thinking and argumentation, one-semester course]
• Logická analýza jazyka 2013/14 [Logical analysis of language, one-semester course]