Dynamic contextual intensional logic: logical foundations and an application

Authors:
Richmond H. Thomason
Affiliations:
Philosophy Department, University of Michigan, Ann Arbor, MI
Venue:
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Year:
2003

Citing 1
Cited 3

Exploring logical dynamics

Exploring logical dynamics

How Helen Keller used syntactic semantics to escape from a Chinese Room

Minds and Machines
Contextual modal type theory

ACM Transactions on Computational Logic (TOCL)
Making contextual intensional logic nonmonotonic

CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper develops further aspects of Contextual Intensional Logic, a type-theoretic logic intended as a general foundation for reasoning about context. I motivate and formulate the dynamic version of the logic, prove some results about it, and show how it can be used to specify inter-contextual reasoning.