Reflection principles in computational logic

DOI10.1093/LOGCOM/10.6.743zbMATH Open0964.03032OpenAlexW2121206858MaRDI QIDQ4528037FDOQ4528037

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)

• Title not available (Why is no real title available?)
• Logics with definitional reflection rules
• Title not available (Why is no real title available?)
• Title not available (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
• Title not available (Why is no real title available?)
• Computational reflection via mechanized logical deduction
• Adding Metalogic Features to Knowledge Representation Languages*
• A Logic for Reflective ASMs
• Title not available (Why is no real title available?)
• Title not available (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)