No label defined (Q4246974)
From MaRDI portal
scientific article; zbMATH DE number 1301759
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1301759 |
Statements
5 October 1999
0 references
decidable fragments
0 references
incomplete information
0 references
decidability
0 references
satisfiability problem
0 references
relative similarity logics
0 references
finite model property
0 references