Contextual intensional logic: type-theoretic and dynamic considerations (Q5324178)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5589212
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Contextual intensional logic: type-theoretic and dynamic considerations |
scientific article; zbMATH DE number 5589212 |
Statements
3 August 2009
0 references
contextual intensional logic
0 references
reasoning about context
0 references
context-changing operators
0 references
0.9453138113021852
0 references
0.8396698236465454
0 references
0.7818085551261902
0 references
0.7576872706413269
0 references
