Defeasible linear temporal logic

DOI10.1080/11663081.2023.2209494OpenAlexW4376506638MaRDI QIDQ6111141

Unnamed Author, Unnamed Author, Ivan Varzinczak, Jean-François Condotta

Publication date: 6 July 2023

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2023.2209494

zbMATH Keywords

knowledge representationtemporal logicnon-monotonic reasoning

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Counterfactuals and comparative possibility
• Nonmonotonic reasoning, preferential models and cumulative logics
• Conditional logics of normality: A modal approach
• The complexity of propositional linear temporal logics in simple cases
• Preferential Reasoning for Modal Logics
• PTL: A Propositional Typicality Logic
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• ALC + T: a Preferential Extension of Description Logics
• Preferential Description Logics
• The complexity of propositional linear temporal logics
• Robust Linear Temporal Logic
• From KLM-style conditionals to defeasible modalities, and back
• A One-Pass Tree-Shaped Tableau for Defeasible LTL

This page was built for publication: Defeasible linear temporal logic