Intuitionistic predicate logic with the connective ''tomorrow'' (Q787958)
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: Intuitionistic predicate logic with the connective tomorrow |
scientific article; zbMATH DE number 3841823
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic predicate logic with the connective ''tomorrow'' |
scientific article; zbMATH DE number 3841823 |
Statements
Intuitionistic predicate logic with the connective ''tomorrow'' (English)
0 references
1982
0 references
Translation from Vestn. Mosk. Univ., Ser. I 1982, No.4, 19-22 (Russian) (1982; Zbl 0494.03017).
0 references
unary connective
0 references
Kripke model
0 references
cut-elimination
0 references
completeness
0 references
