Display Calculi for Nominal Tense Logics (Q4796460)
From MaRDI portal
scientific article; zbMATH DE number 1876742
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Display Calculi for Nominal Tense Logics |
scientific article; zbMATH DE number 1876742 |
Statements
Display Calculi for Nominal Tense Logics (English)
0 references
25 July 2003
0 references
nominal tense logic
0 references
display logic
0 references
cut elimination theorem
0 references
difference modal operator
0 references
Sahlqvist tense formulae
0 references
