scientific article; zbMATH DE number 980412

From MaRDI portal

Publication:4333374

Jump to:navigation, search

zbMath0862.03002MaRDI QIDQ4333374

Rolf Nossum, Dov M. Gabbay

Publication date: 19 February 1997

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

zbMATH Keywords

modal logic Hilbert system logics of belief SCAN KD45 second-order formula semantical characterizations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

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