scientific article

zbMath0790.03025MaRDI QIDQ3970695

Michael Kaminski

Publication date: 25 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

default theoriesnonmonotonic logics based on S4 and S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items

Interpretations of open default theories in non-monotonic logics, An epistemic operator for description logics, On the decidability and complexity of reasoning about only knowing, Hyperequivalence of logic programs with respect to supported models