Similarity between preferential models

DOI10.1016/J.TCS.2005.08.029MaRDI QIDQ2368981zbMATH OpenOpenAlexFDO

Authors 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 logicPreferential modelsSimilarity

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)

Recommendations

• An algebraic characterization of equivalent preferential models
• Similarity of states in modal logic
• A note on bisimulations of finite Kripke models
• scientific article; zbMATH DE number 1136654
• Bisimulations and predicate logic

Cites work

• Belief contraction as nonmonotonic inference
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• Conditional logics of normality: A modal approach
• scientific article; zbMATH DE number 1628513 (Why is no real title available?)
• scientific article; zbMATH DE number 3930376 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1784997 (Why is no real title available?)
• Injective Models and Disjunctive Relations
• Modal logic
• Model theory.
• Nonmonotonic reasoning, preferential models and cumulative logics
• Normal conditions for inference relations and injective models
• On representation theorems for nonmonotonic consequence relations
• The -calculus: A theory of mobile processes
• Valuation structure
• What does a conditional knowledge base entail?

Cited in

(7)

• A characterization theorem for injective model classes axiomatized by general rules
• A general approach to extension-based semantics in abstract argumentation
• SIMILARITY-EXTENSION MODELING METHOD OF MANAGEMENT EXPERIMENTS
• An algebraic characterization of equivalent preferential models
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Similarity of personal preferences: Theoretical foundations and empirical analysis
• Semantics for dual preferential entailment

This page was built for publication: Similarity between preferential models

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