scientific article; zbMATH DE number 1552271

zbMATH Open0963.03051MaRDI QIDQ4524510FDOQ4524510

Dov Gabbay, Rolf Nossum

Publication date: 25 June 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

axiomatic systemfibred semanticsfibred model structurelogics of contextstructured contexts

Mathematics Subject Classification ID

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

Cited In (1)

• A decidable multi-modal logic of context

Recommendations

• Structural operational semantics through context-dependent behaviour 👍 👎
• Bi-inductive structural semantics 👍 👎
• Fibred semantics for feature-based grammar logic 👍 👎
• A Fibring Semantic or the Semantic-Morphological Interface in Natural Language 👍 👎
• Towards Structured Contexts and Modules 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4524510)