A Deductive System for FO(ID) Based on Least Fixpoint Logic

DOI10.1007/978-3-642-04238-6_13MaRDI QIDQ3643111zbMATH OpenOpenAlexFDO

Authors Ping Hou, Marc Denecker

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_13

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• A Deductive System for PC(ID)
• A Deductive System for Existential Least Fixpoint Logic
• Stratified least fixpoint logic
• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• A logic of fixpoint definitions

Cited in

(3)

• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• A Deductive System for Existential Least Fixpoint Logic
• A Deductive System for PC(ID)

This page was built for publication: A Deductive System for FO(ID) Based on Least Fixpoint Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643111)