Some Results on Classical Preferential Models

DOI10.1093/logcom/2.6.675zbMath0785.03014OpenAlexW2091226116MaRDI QIDQ5286911

Karl Schlechta

Publication date: 23 August 1993

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.6.675

zbMATH Keywords

nonmonotonic logicpreferential modelsinfinitary inference operations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Semantic interpolation ⋮ Logic, topology, and integration ⋮ Representation results for non-cumulative logics ⋮ Belief revision and verisimilitude ⋮ Ultravaluations and their applications in \textsf{CPL} ⋮ Distance semantics for belief revision ⋮ A theory of hierarchical consequence and conditionals ⋮ New techniques and completeness results for preferential structures