Reflection principles in computational logic

DOI10.1093/logcom/10.6.743zbMath0964.03032OpenAlexW2121206858MaRDI QIDQ4528037

Pierangelo Dell'Acqua, Stefania Costantini, Jonas Barklund, Gaetano Aurelio Lanzarone

Publication date: 29 January 2001

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

Full work available at URL: https://semanticscholar.org/paper/0005a62c828d671ff37cc36da884678b468b0fc2

zbMATH Keywords

knowledge representationlogic programmingcomputational logiclogical frameworkreflection principle

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in computer science (03B70) Logic programming (68N17)

Related Items (2)

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Adding Metalogic Features to Knowledge Representation Languages*

This page was built for publication: Reflection principles in computational logic