Temporal Many-valued Conditional Logics: a Preliminary Report

TL;DR

This paper introduces a new many-valued temporal conditional logic that combines typicality, temporal operators, and gradual argumentation to model dynamic systems with defeasible properties.

Contribution

It extends many-valued logic with temporal operators from LTL and applies it to gradual argumentation, offering a novel formalism for dynamic reasoning.

Findings

Formalism captures system dynamics with temporal and defeasible properties

Extension of many-valued logic with LTL operators

Application to gradual argumentation systems

Abstract

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.