Formal epistemology concerns the application of formal methods to the study of knowledge
and its role in reasoning, decision making, and action. There is a very active and congenial
formal epistemology research community at
Universidade Nova de Lisboa featuring
internationally recognized experts in the fields of philosophy, mathematics, and computer science.
Students working in any of these fields who have an interest in decision theory, the theory
of games, mathematical, philosophical, or computational logics, formal semantics, proof theory,
multi-agent systems, semantic web technologies, approximate reasoning, reasoning under conditions
of uncertainty, or reasoning about actions are encouraged to contact us.