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

DOI10.1007/978-3-642-04238-6_13zbMath1258.68142OpenAlexW1498520541MaRDI QIDQ3643111

Marc Denecker, Ping Hou

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)

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