Kripke Semantics for Intersection Formulas (Q5034223)
From MaRDI portal
scientific article; zbMATH DE number 7480989
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kripke Semantics for Intersection Formulas |
scientific article; zbMATH DE number 7480989 |
Statements
Kripke Semantics for Intersection Formulas (English)
0 references
24 February 2022
0 references
intersection types
0 references
games in logic
0 references
Kripke models
0 references
