Display Calculi for Nominal Tense Logics (Q4796460)
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: Display Calculi for Nominal Tense Logics |
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
