Temporal Many-valued Conditional Logics: a Preliminary Report
Logic in Computer Science
2024-09-17 v1 Artificial Intelligence
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.
Keywords
Cite
@article{arxiv.2409.09069,
title = {Temporal Many-valued Conditional Logics: a Preliminary Report},
author = {Mario Alviano and Laura Giordano and Daniele Theseider Dupré},
journal= {arXiv preprint arXiv:2409.09069},
year = {2024}
}
Comments
8 pages