Publication:4941945

zbMath0946.03038MaRDI QIDQ4941945

Richmond H. Thomason

Publication date: 25 October 2000

zbMATH Keywords

contextual intensional logic; reasoning about context; type-theoretic logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T30: Knowledge representation

03B70: Logic in computer science

Related Items

Comparing formal theories of context in AI