No label defined (Q4361651)
From MaRDI portal
scientific article; zbMATH DE number 1080249
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1080249 |
Statements
17 February 1998
0 references
local finiteness
0 references
decidability
0 references
polymodal logic
0 references
Kripke semantics
0 references
finite model property
0 references
admissibility of inference rules
0 references