New techniques and completeness results for preferential structures
From MaRDI portal
Publication:4508257
DOI10.2307/2586565zbMath0960.03034MaRDI QIDQ4508257
Publication date: 14 May 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586565
Related Items
Cites Work
- Counterfactuals and comparative possibility
- Saturation, nonmonotonic reasoning and the closed-world assumption
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Five faces of minimality
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- Distance semantics for belief revision
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
- Defaults as Generalized Quantifiers
- Preferential Choice Representation Theorems for Branching Time Structures
- Some completeness results for stoppered and ranked classical preferential models
- An Analysis of some Deontic Logics
- Some Results on Classical Preferential Models