scientific article; zbMATH DE number 487143
From MaRDI portal
Publication:4275685
zbMath0790.03022MaRDI QIDQ4275685
Patrick Doherty, Witold Łukaszewicz
Publication date: 22 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model-theoretic semanticspreferential logicspreferential entailmentpartial interpretationexplicit default operatornonmonotonic logic with explicit defaultstentative conclusionswell-behaved consequence relation
Related Items (4)
The liberalized \(\delta\)-rule in free variable semantic tableaux ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ A three-valued approach to default logic ⋮ From systems to logic in the early development of nonmonotonic reasoning
This page was built for publication:
