No label defined (Q4542619)
From MaRDI portal
scientific article; zbMATH DE number 1775492
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1775492 |
Statements
4 August 2002
0 references
modal logic of elsewhere
0 references
finite many-valued logic
0 references
validity
0 references
modal encoding
0 references
annotated logic
0 references
many-one reductions
0 references
