Past research projects

• Predicate graded logics and their applications to computer science. Czech Science Foundation, 2017-2019.
• Joint project with Institute of Information Theory and Automation of the Czech Academy of Sciences with the goal to develop predicate graded logics by giving them solid mathematical foundations and applying the achieved results to three particular computer science problems involving graded notions: management of uncertainty, valued constraint satisfaction problems, and modelling of coalition games.
• Center of Excellence–Institute for Theoretical Computer Science. Czech Science Foundation, 2012-2018.
• A huge project headed by the Charles University in Prague. Our team contributed to development of substructural logics and explored their utility for other areas of theoretical computer science.
• Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logic. Horizon 2020 Marie Sklodowska-Curie RISE, 2016-2019. 
• A project financing research visits withing a consortium of over 20 partners. Members of our team spend 21 months altogether on foreign universities collaborating with local experts on various aspects of substructural logics.
• SEGA: From shared attitudes to group agency. Czech Science Foundation and German Science Foundation, 2016-2018.
• The project concentrated on epistemic logics for (groups of) more realistic agents, making in particular use of substructural modal logics and their various semantics, inquisitive logics and logics of questions.
• Modelling Vague Quantifiers in Mathematical Fuzzy Logic. Austrian Science Fund and Czech Science Foundation, 2015-2018.
• Joint project with Institute of Information Theory and Automation of the Czech Academy of Sciences and Vienna University of Technology. The project strengthened the mathematical foundations of modeling of vague quantifiers using methods of mathematical fuzzy logic (MFL), with notable contributions in extending the apparatus of MFL, exploring the related game-theoretic issues, and exploring possibilities of automated deduction.
• A Multivalued Approach to Optima and Equilibria in Economics. Czech Science Foundation, 2012-2014.
• Joint project with Institute of Information Theory and Automation of the Czech Academy of Sciences. Our part of the project was focused on the study of relation of many-valued logics and game theory.
• Mathematical Fuzzy Logic in Computer Science. Czech Science Foundation, 2010-2014.
• The project made an important contribution to the state of the art of mathematical fuzzy logic.
• An Order-Based Approach to Non-Classical Propositional and Predicate Logics. Czech Science Foundation, 2013-2016.
• Joint project with Institute of Information Theory and Automation of the Czech Academy of Sciences. It contributed to development of a strong uniform theory for propositional and predicate logics of computer science by means of the tools of Abstract Algebraic Logic.