ML systems: A proof theory for contexts

DOI10.1023/A:1019967901393zbMath1011.03018MaRDI QIDQ1863751

Luciano Serafini, Fausto Giunchiglia

Publication date: 12 March 2003

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

normal formproof theorymodal logicscontextual reasoningdistributed information-oriented theoriesmulti context systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Related Items

Distributed first order logic, Context-dependent abduction and relevance, Intuitionistic hybrid logic