Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information
Multicontext Logic for Semigroups of Contexts
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Hi-index | 0.00 |
An algebraic variant of multi-context logic is considered as an alternative to existing logical accounts of fictional discourse. An associative and idempotent operator on reified fictions supercedes Woods' olim modality. Soundness and completeness results are obtained for certain inter-fictional deductive rules relative to semantical conditions which respect the 'authorial say-so' criterion of fictional truth.