Reflection principles in computational logic

DOI10.1093/LOGCOM/10.6.743MaRDI QIDQ4528037zbMATH OpenOpenAlexFDO

Authors Jonas Barklund, Pierangelo Dell'acqua, Stefania Costantini, 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

computational logicknowledge representationlogic programmingreflection principlelogical framework

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1761432
• A metalogic programming approach: language, semantics and applications
• scientific article; zbMATH DE number 140368
• Logics with definitional reflection rules
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications

Cited in

(15)

• scientific article; zbMATH DE number 2185723 (Why is no real title available?)
• Logics with definitional reflection rules
• scientific article; zbMATH DE number 1761432 (Why is no real title available?)
• scientific article; zbMATH DE number 1231672 (Why is no real title available?)
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Compositional computational reflection
• On the complexity of the reflected logic of proofs
• Reflecting rules: a note on generalizing the deduction theorem
• scientific article; zbMATH DE number 4164204 (Why is no real title available?)
• Computational reflection via mechanized logical deduction
• Adding Metalogic Features to Knowledge Representation Languages*
• A Logic for Reflective ASMs
• scientific article; zbMATH DE number 140368 (Why is no real title available?)
• scientific article; zbMATH DE number 7112528 (Why is no real title available?)
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

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

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