Temporal Many-valued Conditional Logics: a Preliminary Report
This work provides a formalism for capturing temporal dynamics in many-valued logics, potentially useful for domains like argumentation, but it appears incremental as it builds on existing logics without demonstrating broad applications or major breakthroughs.
The authors introduced a many-valued temporal conditional logic by extending a many-valued logic with typicality using Linear Time Temporal Logic (LTL) operators, enabling the modeling of system dynamics through strict and defeasible temporal properties, with an instantiation applied to gradual argumentation.
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.