Paper ID: 2409.09069

Temporal Many-valued Conditional Logics: a Preliminary Report

Mario Alviano, Laura Giordano, Daniele Theseider Dupré

In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation.

Submitted: Sep 6, 2024