scientific article

From MaRDI portal

Publication:3989950

Jump to:navigation, search

zbMath0747.03010MaRDI QIDQ3989950

Cecylia Rauszer

Publication date: 28 June 1992

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

zbMATH Keywords

modal logic nonmonotonic logic stable sets Lindenbaum algebra autoepistemic sets S4 maximal theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logical aspects of Boolean algebras (03G05)

Related Items (2)

Canonical varieties with no canonical axiomatisation ⋮ Cecylia Rauszer

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3989950&oldid=12053473"