An Infinitary Graded Modal Logic (Graded Modalities VI) (Q4857866)
From MaRDI portal
scientific article; zbMATH DE number 824547
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Infinitary Graded Modal Logic (Graded Modalities VI) |
scientific article; zbMATH DE number 824547 |
Statements
An Infinitary Graded Modal Logic (Graded Modalities VI) (English)
0 references
18 March 1996
0 references
infinitary logic
0 references
completeness theorem
0 references
normal logic
0 references
graded modalities
0 references
modal logic
0 references
