Contexts: a formalization and some applications
Contexts: a formalization and some applications
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information
Formal Aspects of Context
Multicontext Logic for Semigroups of Contexts
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Formalizing Context (Expanded Notes)
Formalizing Context (Expanded Notes)
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Fundamenta Informaticae
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
| Hi-index | 0.00 |
We give a logic for formulas φ ψ, with the informal reading "ψ is true in the context described by φ". These are interpreted as binary modalities, by quantification over an enumerable set of unary modalities c ψ, meaning "ψ is true in context c". The logic allows arbitrary nesting of contexts.A corresponding axiomatic presentation is given, and proven to be decidable, sound, and complete.Previously, quantificational logic of context restricted the nesting of contexts, and was only known to be decidable in very special cases.