About me

Education

Master's Degree in Theoretical Computer Science, Faculty of Mathematics and Physics, Charles University in Prague (1986);

CSc (PhD equivalent) in Logic, Institute of Philosophy of the Academy of Sciences of the Czech Republic (1998)

Current position

Senior researcher at the Institute of Philosophy, The Czech Academy of Sciences,

Research interests

epistemic logics, substructural logics, fuzzy logic, logic of questions, game theory,
game-theoretical semantics, foundations of probability, non-classical probability

Selected Publications

Publications 2020 - 2024

Bílková, M., Frittella, S., Kozhemiachenko, D., Majer, O., Manoorkar, K., Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory. In: Proceedings of Machine Learning Research, Volume 215: International Symposium on Imprecise Probability: Theories and Applications,. Almerı́a: PMLR, 2023, S. 37-47. E-ISSN 2640-3498. https://proceedings.mlr.press/v215/(2024)

Bílková, M., Frittella, S., Kozhemiachenko, D., Majer, O., Two-Layered Logics for Paraconsistent Probabilities. In: Hansen, H.H., Scedrov, A., De Queiroz, R.J.G.B., eds. Logic, Language, Information, and Computation. Cham: Springer, 2023, S. 101-117. Lecture Notes in Computer Science, 13923.

Bílková, M., Frittella, S., Kozhemiachenko, D., Majer, O. (2023), Qualitative reasoning in a two-layered framework, International Journal of Approximate Reasoning, 154: 84–108.

Bílková, M., Frittella, S., Kozhemiachenko, D., Majer, O., Nazari, S. (2023), Reasoning with belief functions over Belnap–Dunn logic. Annals of Pure and Applied Logic, 103338 .

Childers, T., Hvorecký, J., Majer, O. (2023), Empiricism in the foundations of cognition, AI and Society, 38(1): 67–87.

Majer, O., Punčochář, V., Sedlár I. (2023), Truth-maker semantics for some substructural logics, Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Cham: Springer International Publishing, 207-222 .

Frittella, S., Majer, O., Nazari, S. (2022). Toward Updating Belief Functions over Belnap-Dunn Logic. In: Le Hégarat-Mascle, S., Bloch, I., Aldea, E. (eds) Belief Functions: Theory and Applications. BELIEF 2022. Lecture Notes in Computer Science(), vol 13506. Springer, Cham

Běhounek L., Majer, O. (2021), A graded semantics for counterfactuals, Synthese 199 (5),
11963-11994.

 Klein, D., Majer, O., Rafiee-Rad S. (2021), Probabilities with Gaps and Gluts. Journal of Philosophical Logic, 50 (5): 1107-1141.

Sedlár, I., Majer, O. (2020). Modelling sources of inconsistent information in paraconsistent modal logic. In: New Essays on Belnap-Dunn Logic. Cham: Springer International Publishing. (293-310)

Klein, D., Majer, O., Rafiee Rad, S. (2020). Non-classical probabilities for decision making in situations of uncertainty. Roczniki Filozoficzne, 68(4), 315-343.

Conferences

Lectures at international conferences and workshops

50+ lectures at international conferences, selected invited lectures:

2024        Representation of imperfect agents in epistemic logics, Workshop on Logic and Reasoning, University of Buenos Aires

2023        Reasoning about uncertainty in frameworks with incomplete and contradictory information, Trivalent Suspension, Uncertainty and Reasoning with Conditionals, Regensburg,

2022        On expressivity of the propositional fragment of Independence Friendly Logic, Games in Logic, Vienna,

2019        Non-classical probabilities over Dunn Belnap logic, Advances in Philosophical Logic, Lublin, Poland

2018        The (Relevant) Logic of Laboratory Reports, Academy Colloquium Reasoning in social context, Institute of Logic, Language and Computation, Amsterdam

2016        Games for Many-valued Logics, Hintikka Memorial Conference, Helsinki

2016        Paraconsistent Epistemic Logics, LogiCIC Workshop, Institute of Logic, Language and Computation, Amsterdam,

2016        Subjective Probabilities Regrounded, Budapest-Krakow workshop, Budapest

2015        Epistemic Logics for Sceptical Agents, Dynamics in Logic III, Rennes,

2014        Semantic Games for Lukasiewicz logic (Workshop on Logic and Games, Vienna Summer of Logic,)

Grants

Selected research grants

16 international or national grants, 6 of them as principal investigator or co-investigator

2022 – 2025    Coalition and Epistemic Logic: An Intensional Approach to Groups, Czech Science Foundation and DFG (Germany) (co-investigator)

2019 – 2020     NCC CAI: National Competence Center – Cybernetics and Artificial Intelligence, Technology Agency of the Czech Republic

2018 – 2020     Reasoning with graded properties, Czech Science Foundation

2015 – 2018    From Shared Evidence to Group Attitudes , Czech Science Foundation and DFG,
(co-investigator)

2015 – 2017     Modeling Vague quantifiers in Mathematical Fuzzy Logic, Czech Science Foundation and FWF (Austria) - (principal-investigator)

2008 – 2011    Logical models of reasoning with vague information, Czech Science Foundation and European Science foundation - EUROCORES - LogICCC Programme
(co-investigator)