No label defined (Q4518916)
From MaRDI portal
scientific article; zbMATH DE number 1538059
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1538059 |
Statements
3 December 2000
0 references
tableau-like proof system
0 references
nonnormal modal logics
0 references