Defeasible linear temporal logic

DOI10.1080/11663081.2023.2209494MaRDI QIDQ6111141zbMATH OpenOpenAlexFDO

Authors Jean-François Condotta, Ivan Varzinczak

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

temporal logicknowledge representationnon-monotonic reasoning

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A One-Pass Tree-Shaped Tableau for Defeasible LTL
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Conditional logics of normality: A modal approach
• Counterfactuals and comparative possibility
• From KLM-style conditionals to defeasible modalities, and back
• Nonmonotonic reasoning, preferential models and cumulative logics
• PTL: a propositional typicality logic
• Preferential Description Logics
• Preferential reasoning for modal logics
• Robust linear temporal logic
• The complexity of propositional linear temporal logics
• The complexity of propositional linear temporal logics in simple cases
• \({\mathcal{ALC}}+T\): a preferential extension of description logics

Cited in

(5)

• scientific article; zbMATH DE number 1956573 (Why is no real title available?)
• Dynamic linear time temporal logic
• Algebraic Methodology and Software Technology
• Logical consecutions in discrete linear temporal logic
• Temporal defeasible reasoning

This page was built for publication: Defeasible linear temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6111141)