Natural deduction and context as (constructive) modality

Authors:
Valeria de Paiva
Affiliations:
PARC, Palo Alto, CA
Venue:
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Year:
2003

Citing 8
Cited 2

Contexts: a formalization and some applications

Contexts: a formalization and some applications
Representing multiple theories

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
ML Systems: A Proof Theory for Contexts

Journal of Logic, Language and Information
Strongly Analytic Tableaux for Normal Modal Logics

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Comparing formal theories of context in AI

Artificial Intelligence
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Contextual reasoning is NP-complete

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Metamathematics Of Contexts

Fundamenta Informaticae

Contextual modal type theory

ACM Transactions on Computational Logic (TOCL)
Embedding Constructive K into Intuitionistic K

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This note describes three formalized logics of context and their mathematical inter-relationships. It also proposes a Natural Deduction formulation for a constructive logic of contexts, which is what the described logics have in common.