Fixed-point extensions of first-order logic
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 824731
- Publication:3204028
- Fixed Point Logics
- Extended First-Order Logic
- Fixed-point logics and computation
- scientific article; zbMATH DE number 3903941
- Publication:3204446
- Extended Lambek calculi and first-order linear logic
- Axiomatizing fixpoint logics
- Fixed-point logics, generalized quantifiers, and oracles
Cites work
- scientific article; zbMATH DE number 3890770 (Why is no real title available?)
- scientific article; zbMATH DE number 4008383 (Why is no real title available?)
- scientific article; zbMATH DE number 3731388 (Why is no real title available?)
- scientific article; zbMATH DE number 3602653 (Why is no real title available?)
- scientific article; zbMATH DE number 3349291 (Why is no real title available?)
- scientific article; zbMATH DE number 3378527 (Why is no real title available?)
- scientific article; zbMATH DE number 3397511 (Why is no real title available?)
- scientific article; zbMATH DE number 3188506 (Why is no real title available?)
- A zero-one law for logic with a fixed-point operator
- Elementary induction on abstract structures
- Model theory
- Monotone versus positive
- On monotone vs. nonmonotone induction
- On nonmonotone inductive definability
- Properties preserved in subdirect products
- The complexity of explicit definitions
Cited in
(88)- Compositionality in context
- Partial fixed point for finite models in second order logic
- Finite Variable Logics in Descriptive Complexity Theory
- Feferman-vaught decompositions for prefix classes of first order logic
- scientific article; zbMATH DE number 1841826 (Why is no real title available?)
- In the random graph \(G(n,p), p=n^{-a}\): If \(\psi\) has probability \(O(n^{-\varepsilon})\) for every \(\varepsilon >0\) then it has probability \(O(e^{-n^ \varepsilon})\) for some \(\varepsilon >0\)
- Graph games and logic design
- Enhancing fixed point logic with cardinality quantifiers
- \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
- Semantic restrictions over second-order logic
- scientific article; zbMATH DE number 7267155 (Why is no real title available?)
- An extension of first order limit language
- Fixed-point definability and polynomial time on chordal graphs and line graphs
- On undecidability of unary nonnested PFP operators for one successor function theory
- Descriptive complexity of deterministic polylogarithmic time and space
- scientific article; zbMATH DE number 1354137 (Why is no real title available?)
- A restricted second order logic for finite structures
- Metafinite model theory
- Symbioses between mathematical logic and computer science
- Logics capturing relativized complexity classes uniformly
- Program completion in the input language of GRINGO
- Expressive equivalence of least and inflationary fixed-point logic
- Finite-model theory -- A personal perspective
- Capturing complexity classes by fragments of second-order logic
- An algebra for pomsets.
- Database querying under changing preferences
- An expansion of first-order Belnap-Dunn logic
- Generalized quantifiers and pebble games on finite structures
- One Useful Logic That Defines Its Own Truth
- Querying datalog programs with temporal logic
- Logic and Game Theory
- Semantics and expressive power of nondeterministic constructs in deductive databases
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
- Context-sensitive transitive closure operators
- Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs
- The expressive power of stratified logic programs
- Arity hierarchies
- Inductive definitions over finite structures
- On fixed-point logic with counting
- Inferring null join dependencies in relational databases
- Bounded fixpoints for complex objects
- How to define a linear order on finite models
- Inductive situation calculus
- Some Turing-complete extensions of first-order logic
- What is an algorithm?
- Tailoring recursion for complexity
- On the expressive power of counting
- An analysis of fixed-point queries on binary trees
- A Fixpoint Semantics for Ordered Logic
- Idealization in applied first-order logic
- Hereditarily-finite sets, data bases and polynomial-time computability
- scientific article; zbMATH DE number 1795986 (Why is no real title available?)
- Equivalence and normal forms for the restricted and bounded fixpoint in the nested algebra
- Continuous first order logic and local stability
- Almost Everywhere Equivalence of Logics in Finite Model Theory
- scientific article; zbMATH DE number 4180775 (Why is no real title available?)
- Circumscribing DATALOG: expressive power and complexity
- A Step Up in Expressiveness of Decidable Fixpoint Logics
- Complete problems for fixed-point logics
- A restricted second order logic for finite structures
- Canonisation and Definability for Graphs of Bounded Rank Width
- The expressive power of fixed-point logic with counting
- An expansion of basic logic with fixed points
- Recursive definitions and fixed-points
- The alternating fixpoint of logic programs with negation
- scientific article; zbMATH DE number 6680142 (Why is no real title available?)
- Fixed-point logics and computation
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
- Fixed-point Logics with Nondeterministic Choice
- Linear ordering on graphs, anti-founded sets and polynomial time computability
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
- Computing on structures
- Automata, Languages and Programming
- Minimal predicates, fixed-points, and definability
- Why not negation by fixpoint?
- Complexity and undecidability results for logic programming
- Using automata theory for characterizing the semantics of terminological cycles
- Fixed Point Logics
- scientific article; zbMATH DE number 824731 (Why is no real title available?)
- Recursive definitions and fixed-points on well-founded structures
- On inflationary fix-point operators safety
- Infinitary logics and 0-1 laws
- Metafinite model theory
- A logic of fixpoint definitions
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
- The nested universal relation data model
- scientific article; zbMATH DE number 3903941 (Why is no real title available?)
- Inflationary fixed points in modal logic
This page was built for publication: Fixed-point extensions of first-order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090327)
