Ondrej Majer

Ondrej Majer is a Senior Researcher at the Department of Logic, Institute of Philosophy, Academy of Sciences of the Czech Republic. He holds a Doctor of Natural Sciences (RNDr.) degree in Game Theory and a Candidate of Sciences (CSc., equivalent to PhD) in Logic.

• Education: Faculty of Mathematics and Physics, Charles University in Prague (Theoretical Cybernetics, Mathematical Informatics and Control Theory, 1986); Faculty of Music and Drama, Charles University in Prague (Game Theory); Institute of Philosophy, Academy of Sciences of the Czech Republic (Logic, CSc.)
• Areas of interest: game theory, dynamic logic, counterfactual logic, modal logic, fuzzy logic, and fundamentals of probability

Majer has delivered over 50 lectures at international conferences, including key presentations on epistemic logics, paraconsistent reasoning, and many-valued logics. His research focuses on integrating logical frameworks with probability theories to model uncertainty and inconsistency in information systems.

He has participated in 16 national and international projects, including grants from GAČR (Czech Science Foundation), DFG (Germany), and FWF (Austria). Notable projects involve reasoning with graded properties, paraconsistent epistemic logics, and modeling vague quantifiers in mathematical fuzzy logic.

Majer has collaborated extensively, publishing two-layered logics, truth-maker semantics, and belief function models over non-classical logics. His work bridges formal logic, philosophical inquiry, and computational reasoning.