Bringing them all Together (Q2772879)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bringing them all Together |
scientific article |
Statements
Bringing them all Together (English)
0 references
25 September 2002
0 references
nominals
0 references
satisfaction opeators
0 references
binders
0 references
hybrid modal logics
0 references
expressivity over frames
0 references
completeness
0 references