Open default theories over closed domains

DOI10.1093/JIGPAL/7.5.577zbMath0937.03037OpenAlexW2079636068MaRDI QIDQ4934056

Michael Kaminski

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

zbMATH Keywords

nonmonotonic logicdefault logicfree variableopen defaultdomain closure assumptionunique name assumption

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (2)

Default theories over monadic languages ⋮ Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning

This page was built for publication: Open default theories over closed domains