# Temporal Many-valued Conditional Logics: a Preliminary Report

arXiv: https://arxiv.org/abs/2409.09069 · HTML: https://mlsanity.com/paper/2409.09069/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 7 of its 45 references that are in the map.
- First posted on arXiv 6 Sep 2024.

## Builds on (most cited first, 7 of 7)

- [Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective](https://mlsanity.com/paper/2003.00330/) (2020)
- [GLocalX -- From Local to Global Explanations of Black Box AI Models](https://mlsanity.com/paper/2101.07685/) (2021)
- [Interpreting Neural Networks as Gradual Argumentation Frameworks (Including Proof Appendix)](https://mlsanity.com/paper/2012.05738/) (2020)
- [Interactive Explanations by Conflict Resolution via Argumentative Exchanges](https://mlsanity.com/paper/2303.15022/) (2023)
- [An ASP approach for reasoning in a concept-aware multipreferential lightweight DL](https://mlsanity.com/paper/2006.04387/) (2020)
- [Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model](https://mlsanity.com/paper/2012.13421/) (2020)
- [On Rational Entailment for Propositional Typicality Logic](https://mlsanity.com/paper/1809.10946/) (2018)

## Abstract (arXiv)

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.