A restricted second order logic for finite structures
type: Item
instance of: scholarly article
title: A restricted second order logic for finite structures
zbMATH Open document ID: 0909.68078
author: Anuj Dawar
published in: Information and Computation
publication date: 1998-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 1220918
zbMATH Keywords: finite model theory
MaRDI profile type: Publication
full work available at URL: inco.1998.2703
OpenAlex ID: W1980103601
Wikidata QID: Q58215736
cites work: Fixpoint logics, relational machines, and computational complexity
cites work: Datalog extensions for database queries and updates
cites work: Computing with first-order logic
cites work: On Moschovakis closure ordinals
cites work: An optimal lower bound on the number of variables for graph identification
cites work: Structure and complexity of relational queries
cites work: Q3221973
cites work: Infinitary logic and inductive definability over finite structures
cites work: Second-order and Inductive Definability on Finite Structures
cites work: Q4058132
cites work: Q4198056
cites work: Fixed-point extensions of first-order logic
cites work: Upper and lower bounds for first order expressibility
cites work: Relational queries computable in polynomial time
cites work: Q3830533
cites work: Infinitary logics and 0-1 laws
cites work: Inductive definitions over finite structures
cites work: Some Remarks on Generalized Spectra
cites work: Elementary induction on abstract structures
cites work: The polynomial-time hierarchy
DOI: 10.1006/INCO.1998.2703
description: scientific article; zbMATH DE number 1220918