Temporal Many-valued Conditional Logics: a Preliminary Report

Mario Alviano, Laura Giordano, Daniele Theseider Dupré
9/6/2024
cs.LOcs.AI

No confident code implementation found for this paper.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Temporal Ensemble Logic

79% match2024

Towards Constraint Temporal Answer Set Programming

79% match2025

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)

75% match2026

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

74% match2025

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics

74% match2025

Temporal Reasoning in AI systems

74% match2025

Cite this paper

@article{alviano2024temporal,
  title  = {Temporal Many-valued Conditional Logics: a Preliminary Report},
  author = {Mario Alviano and Laura Giordano and Daniele Theseider Dupré},
  year   = {2024},
  eprint = {2409.09069},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2409.09069v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2409.09069.svg)](https://codeofpaper.com/paper/2409.09069)

Discussion