COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221)
From MaRDI portal
scientific article; zbMATH DE number 7827524
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND |
scientific article; zbMATH DE number 7827524 |
Statements
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (English)
0 references
4 April 2024
0 references
graded modal logic
0 references
infinity diamond
0 references
generalised quantifiers
0 references
bisimulation invariance
0 references
completeness
0 references
