Open default theories over closed domains
From MaRDI portal
Publication:4934056
DOI10.1093/jigpal/7.5.577zbMath0937.03037MaRDI QIDQ4934056
Publication date: 13 June 2000
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/7.5.577
nonmonotonic logic; default logic; free variable; open default; domain closure assumption; unique name assumption
Related Items
Default theories over monadic languages, Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning