Propositional contexts

DOI10.1007/3-540-45331-8_10MaRDI QIDQ2753791zbMATH OpenFDO

Authors Christo Dichev, Trendafil Madarov

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45331-8_10

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 770150
• A decidable multi-modal logic of context
• ML systems: A proof theory for contexts
• Multicontext logic for semigroups of contexts
• Propositional Logic for Ground Semigroups of Context

Cited in

(16)

• ML systems: A proof theory for contexts
• Propositional Logic for Ground Semigroups of Context
• On the difference between bridge rules and lifting axioms
• scientific article; zbMATH DE number 5521993 (Why is no real title available?)
• Compositionality through and operational semantics of contexts
• scientific article; zbMATH DE number 1523021 (Why is no real title available?)
• On the dimensions of context dependence: partiality, approximation, and perspective
• Two formalizations of context: A comparison
• Propositions
• Multicontext logic for semigroups of contexts
• scientific article; zbMATH DE number 770150 (Why is no real title available?)
• Hyperintensional propositions
• Bridges from language to logic: concepts, contexts and ontologies
• On the dimensions of context dependence
• Computational Logic in Multi-Agent Systems
• Why propositions might be sets of truth-supporting circumstances

This page was built for publication: Propositional contexts

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