scientific article; zbMATH DE number 1552271

MaRDI QIDQ4524510zbMATH OpenFDO

Authors Rolf Nossum, Dov Gabbay

Publication date 25 June 2001

zbMATH Keywords

axiomatic systemfibred model structurefibred semanticslogics of contextstructured contexts

Mathematics Subject Classification ID

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

Recommendations

• Fibred semantics for feature-based grammar logic
• Towards Structured Contexts and Modules
• A Fibring Semantic or the Semantic-Morphological Interface in Natural Language
• Publication:4941944
• scientific article; zbMATH DE number 5917724
• Publication:3028332
• scientific article; zbMATH DE number 177838
• scientific article; zbMATH DE number 3872708
• Bi-inductive structural semantics
• Structural operational semantics through context-dependent behaviour

Cited in

(5)

• A decidable multi-modal logic of context
• scientific article; zbMATH DE number 2014707 (Why is no real title available?)
• scientific article; zbMATH DE number 1737288 (Why is no real title available?)
• scientific article; zbMATH DE number 770150 (Why is no real title available?)
• Comparing formal theories of context in AI

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)