Concepedia

Fixed-point Logics

Fixed-Point Logics is a formal logical system that extends predicate logic by allowing the definition of predicates through least or greatest fixed points of monotone operators, thereby enabling the expressive characterization of inductive and coinductive definitions.

108

Publications

5.2K

Citations

148

Authors

105

Institutions

Publications per year

2017–2026

12

Parents

Publications

108

Complexity Results for Nonmonotonic Logics

Georg Gottlob · Journal of Logic and Computation · 1992 · 349 citations

, , +15

Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah · Annals of Pure and Applied Logic · 1986 · 243 citations · Full text

, , +15

Fixpoint semantics for logic programming a survey

Melvin Fitting · Theoretical Computer Science · 2002 · 229 citations

, , +10

Quantitative deduction and its fixpoint theory

M. H. van Emden · The Journal of Logic Programming · 1986 · 216 citations

, , +13

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

Nicola Leone, Pasquale Rullo, Francesco Scarcello · Information and Computation · 1997 · 197 citations

, , +12

1–5 of 108

Authors

148

  1. GG
    Georg Gottlob

    TU Wien, Austria

    5 publications · 417 citations

    5

    h-index

  2. MG
    Martin Grohe

    Humboldt-Universität zu Berlin, Germany

    5 publications · 138 citations

    5

    h-index

  3. AD
    Anuj Dawar

    University of Cambridge, United Kingdom

    5 publications · 134 citations

    5

    h-index

  4. BT
    Balder ten Cate

    University of California, Santa Cruz, United States

    4 publications · 166 citations

    4

    h-index

  5. SK
    Stephan Kreutzer

    Technische Universität Berlin, Germany

    4 publications · 91 citations

    4

    h-index

1–5 of 148

Institutions

105

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    8 h-index

    9 publications

    431 citations

  2. RWTH Aachen University

    Aachen, Germany

    8 h-index

    13 publications

    295 citations

  3. Université Paris Cité

    Paris, France

    6 h-index

    7 publications

    209 citations

  4. University of Amsterdam

    Amsterdam, The Netherlands

    6 h-index

    6 publications

    260 citations

  5. University of California, Santa Cruz

    Santa Cruz, United States

    5 h-index

    6 publications

    180 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    7 publications

    216 citations

  7. University of Cambridge

    Cambridge, United Kingdom

    5 h-index

    5 publications

    134 citations

  8. Humboldt-Universität zu Berlin

    Berlin, Germany

    4 h-index

    5 publications

    79 citations

1–8 of 105

Venues

  1. Theoretical Computer Science

    5 publications · 335 citations

    5

    h-index

  2. Journal of Logic and Computation

    5 publications · 440 citations

    5

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 4 publications · 84 citations

    4

    h-index

  4. Information and Computation

    4 publications · 314 citations

    4

    h-index

  5. Annals of Pure and Applied Logic

    4 publications · 365 citations

    4

    h-index

1–5