The Russell–Prawitz modality (Q2746758)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Russell–Prawitz modality |
scientific article |
Statements
The Russell–Prawitz modality (English)
0 references
5 July 2002
0 references
modality
0 references
lax modal operator
0 references
Russell-Prawitz representation
0 references