No label defined (Q4249221)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1302669
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1302669 |
Statements
17 May 2000
0 references
finite models
0 references
fixpoint logics
0 references
finite variable logics
0 references
complexity classes
0 references
survey
0 references
0.8684224486351013
0 references
0.8056325912475586
0 references
Finite variable logics are the fragments of first-order logic or of infinitary logic in which the only variables allowed are \(x_1,\dots,x_k\) for some fixed \(k\geq 1\). This paper surveys a number of results that have been established for finite variable logics, from purely model-theoretic ones to results concerning computational complexity classes. ``By focusing on the common techniques, this survey aims to expose the underlying connections between a variety of investigations''. For the entire collection see [Zbl 0913.00019].
0 references
