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; - Implement prototype software...