A Deductive System for Existential Least Fixpoint Logic

DOI10.1093/logcom/3.2.197zbMath0798.03030OpenAlexW2037682959MaRDI QIDQ4276180

No author found.

Publication date: 3 November 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00074881/file/RR-1675.pdf

zbMATH Keywords

complexitysequent calculusprogram verificationinductive definitiondatabase queriesexistential least fixpoint logic

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Logic programming (68N17)

Related Items (7)

Stratified least fixpoint logic ⋮ Symbioses between mathematical logic and computer science ⋮ A logical approach to asymptotic combinatorics I. First order properties ⋮ On the effective content of asymptotic verifications of Edgeworth's Conjecture ⋮ Finite-model theory -- A personal perspective ⋮ One Useful Logic That Defines Its Own Truth ⋮ An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models

This page was built for publication: A Deductive System for Existential Least Fixpoint Logic