A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication (Q3536089)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication |
scientific article; zbMATH DE number 5366679
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication |
scientific article; zbMATH DE number 5366679 |
Statements
17 November 2008
0 references
speech act theory
0 references
categorical logic
0 references
type theory
0 references
proof theory
0 references
provability semantics
0 references
0.7836010456085205
0 references
0.7672761082649231
0 references
0.765877366065979
0 references
