First order logic, fixed point logic and linear order
type: Item
instance of: scholarly article
title: First order logic, fixed point logic and linear order
zbMATH Open document ID: 1540.03063
DOI: 10.1007/3-540-61377-3_37
author: Anuj Dawar
author: Steven Lindell
author: Scott Weinstein
publication date: 2024-06-21T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 7869523
MaRDI profile type: Publication
cites work: Datalog extensions for database queries and updates
cites work: Computing with first-order logic
cites work: On uniformity within \(NC^ 1\)
cites work: The expressive power of finitely many generalized quantifiers
cites work: Infinitary logic and inductive definability over finite structures
cites work: Q3758820
cites work: Definability with bounded number of bound variables
cites work: Upper and lower bounds for first order expressibility
cites work: Relational queries computable in polynomial time
cites work: Infinitary logics and 0-1 laws
cites work: When is arithmetic possible?
cites work: Elementary induction on abstract structures
cites work: Deux ou trois choses que je sais de Ln
cites work: Q4474843
cites work: Rudimentary Predicates and Relative Computation
description: scientific article; zbMATH DE number 7869523