An algebraic characterization of equivalent preferential models

DOI10.2178/JSL/1191333843MaRDI QIDQ5422305zbMATH OpenOpenAlexFDO

Authors Zhaohui Zhu, Rong Zhang

Publication date 17 October 2007

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1191333843

zbMATH Keywords

model-theoretical propertiesnonmonotonic logicpreferential model

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Non-monotonic logic: preferential versus algebraic semantics
• Similarity between preferential models
• Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
• Some Results on Classical Preferential Models
• On representation theorems for nonmonotonic consequence relations

Cites work

• Artificial intelligence and mathematics. 1
• scientific article; zbMATH DE number 1628513 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• scientific article; zbMATH DE number 2120511 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• Valuation structure

Cited in

(4)

• Similarity between preferential models
• A general approach to extension-based semantics in abstract argumentation
• Theory of equivalence systems for describing the algebraic closures of a generalized estimation model
• Semantics for dual preferential entailment

This page was built for publication: An algebraic characterization of equivalent preferential models

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