PTL: A Propositional Typicality Logic

DOI10.1007/978-3-642-33353-8_9zbMATH Open1286.68411OpenAlexW1836691125MaRDI QIDQ2915063FDOQ2915063

Ivan Varzinczak, Richard Booth, Thomas Meyer

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_9

zbMATH Keywords

belief revisionnonmonotonic reasoningrationalitytypicality

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Nonmonotonic inference based on expectations
• On the logic of theory change: Partial meet contraction and revision functions
• What does a conditional knowledge base entail?
• Propositional knowledge base revision and minimal change
• Conditional logics of normality: A modal approach
• Preferential reasoning for modal logics
• ALC + T: a Preferential Extension of Description Logics
• A first-order conditional logic for prototypical properties
• Semantics for dual preferential entailment
• A Minimal Model Semantics for Nonmonotonic Reasoning

Cited In (7)

• From KLM-style conditionals to defeasible modalities, and back
• On rational entailment for propositional typicality logic
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Preferential accessibility and preferred worlds
• Defeasible linear temporal logic
• Introducing Role Defeasibility in Description Logics
• Contextual rational closure for defeasible \(\mathcal{ALC} \)

This page was built for publication: PTL: A Propositional Typicality Logic

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