An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models (Q2866740)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models |
scientific article |
Statements
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models (English)
0 references
13 December 2013
0 references
least fixed-point logic
0 references
finite model theory
0 references
proof theory
0 references
infinitary natural deduction system
0 references
0 references
