scientific article; zbMATH DE number 1552271

From MaRDI portal

Publication:4524510

Jump to:navigation, search

zbMath0963.03051MaRDI QIDQ4524510

Rolf Nossum, Dov M. Gabbay

Publication date: 25 June 2001

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

zbMATH Keywords

axiomatic system fibred semantics fibred model structure logics of context structured contexts

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Logic in computer science (03B70) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

A decidable multi-modal logic of context

This page was built for publication:

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