Temporal Many-valued Conditional Logics: a Preliminary Report
<|reference_start|>Temporal Many-valued Conditional Logics: a Preliminary Report: 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.<|reference_end|>
@article{alviano2024temporal,
    title={Temporal Many-valued Conditional Logics: a Preliminary Report},
    author={Mario Alviano, Laura Giordano, Daniele Theseider Dupr'e},
    journal={arXiv preprint arXiv:2409.09069},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.09069},
    primaryClass={cs.LO cs.AI}
}