Defeasible linear temporal logic

DOI10.1080/11663081.2023.2209494OpenAlexW4376506638MaRDI QIDQ6111141FDOQ6111141

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

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

Cited In (5)

• Title not available (Why is that?)
• 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)