ML systems: A proof theory for contexts
type: Item
instance of: scholarly article
title: ML systems: A proof theory for contexts
zbMATH Open document ID: 1011.03018
DOI: 10.1023/A:1019967901393
author: Luciano Serafini
author: Fausto Giunchiglia
published in: Journal of Logic, Language and Information
publication date: 2003-03-12T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1880394
zbMATH Keywords: contextual reasoning
zbMATH Keywords: distributed information-oriented theories
zbMATH Keywords: modal logics
zbMATH Keywords: multi context systems
zbMATH Keywords: normal form
zbMATH Keywords: proof theory
MaRDI profile type: Publication
Wikidata QID: Q57302687
description: scientific article; zbMATH DE number 1880394