Post-Doctoral Fellowship in Logic

Activities and context: • Develop semantic frameworks combining non-classical logics with probabilistic reasoning and causal inference. • Extend Logics of Formal Inconsistency (LFIs) and Logics of Evidence and Truth (LETs) with probabilistic and causal operators. • Formalize rational argumentation involving contradictory, uncertain, and counterfactual reasoning.