Similarity between preferential models

DOI10.1016/j.tcs.2005.08.029zbMath1088.68136OpenAlexW2087125127MaRDI QIDQ2368981

Zhaohui Zhu

Publication date: 28 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.08.029

zbMATH Keywords

BisimulationNonmonotonic logicSimilarityPreferential models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Semantics for dual preferential entailment ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ A general approach to extension-based semantics in abstract argumentation ⋮ A characterization theorem for injective model classes axiomatized by general rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic reasoning, preferential models and cumulative logics
• Model theory.
• What does a conditional knowledge base entail?
• Conditional logics of normality: A modal approach
• Normal conditions for inference relations and injective models
• Injective Models and Disjunctive Relations
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• Belief contraction as nonmonotonic inference
• On representation theorems for nonmonotonic consequence relations
• Valuation structure

This page was built for publication: Similarity between preferential models