O mně

Vzdělání

MFF UK v Praze, obor Teoretická kybernetika, matematická informatika a teorie řízení, (1986);

Hodnost doktora přírodních věd (RNDr.) v oboru Teorie her, MFF UK v Praze.

Hodnost kandidáta věd (Csc., ekvivalent PhD) v oboru Logika, Filosofický ústav AVČR)

Současné zaměstnání

- vedoucí vědecký pracovník, oddělení logiky, Filosofický ústav AVČR, v.v.i,

Oblasti zájmu

teorie her, dynamická logiky, logika kontrafaktuálů, modální logika, fuzzy logika, základy pravděpodobnosti

Vybrané publikace

Publikace 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.

+

Konference

Přednášky na mezinárodních konferencích a workshopech

50+ přednášek na mezinárodních konferencích, vybrané zvané přednášky:

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,)

Granty

Vybrané grantové projekty

16 národních a mezinárodních projektů, v 6 z nich hlavní řešitel nebo spoluřešitel

2022 – 2025    Coalition and Epistemic Logic: An Intensional Approach to Groups, GAČR a DFG (Německo) (spoluřešitel)

2018 – 2020     Reasoning with graded properties, GAČR

2015 – 2018    From Shared Evidence to Group Attitudes, GAČR and DFG (Německo)
(spoluřešitel )

2015 – 2017     Modeling Vague quantifiers in Mathematical Fuzzy Logic, GAČR a FWF (Rakousko) – (hlavní řešitel)

2008 – 2011    Logical models of reasoning with vague information, Czech Science Foundation and European Science foundation - EUROCORES - LogICCC Programme
(spoluřešitel)