scientific article; zbMATH DE number 1256282

From MaRDI portal

Publication:4229946

Jump to:navigation, search

zbMath0917.03008MaRDI QIDQ4229946

Dov M. Gabbay

Publication date: 7 July 1999

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

zbMATH Keywords

logical system shift operators nonmonotonic systems monotonicity of the consequence relation structural connectives structured consequence relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Abstract deductive systems (03B22)

This page was built for publication:

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