Characterizability in Horn belief revision
From MaRDI portal
Publication:2835894
Recommendations
Cites work
- scientific article; zbMATH DE number 2120511 (Why is no real title available?)
- Belief revision in Horn theories
- Characterizability in Horn belief revision
- Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
- Distance semantics for belief revision
- Finite Model Theory
- Horn clause contraction functions
- Horn contraction via epistemic entrenchment
- Inter-definability of Horn contraction and Horn revision
- Merging in the Horn fragment
- On sentences which are true of direct unions of algebras
- On the logic of theory change: Partial meet contraction and revision functions
- Propositional knowledge base revision and minimal change
- Reachability is harder for directed than for undirected finite graphs
- The decision problem for some classes of sentences without quantifiers
Cited in
(4)
This page was built for publication: Characterizability in Horn belief revision
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835894)