ML systems: A proof theory for contexts

DOI10.1023/A:1019967901393MaRDI QIDQ1863751zbMATH OpenWikidataFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1670578
• Multi-context systems in dynamic environments
• scientific article; zbMATH DE number 770150
• On the dimensions of context dependence
• Multilanguage hierarchical logics, or: How we can do without modal logics

Cited in

(12)

• Proof-producing synthesis of ML from higher-order logic
• scientific article; zbMATH DE number 1755764 (Why is no real title available?)
• On the dimensions of context dependence
• Intuitionistic hybrid logic
• scientific article; zbMATH DE number 1670578 (Why is no real title available?)
• Multilanguage hierarchical logics, or: How we can do without modal logics
• scientific article; zbMATH DE number 6528605 (Why is no real title available?)
• Distributed first order logic
• Comparing formal theories of context in AI
• Context-dependent abduction and relevance
• Computational Logic in Multi-Agent Systems
• On the difference between bridge rules and lifting axioms

This page was built for publication: ML systems: A proof theory for contexts

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