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

Recommendations

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

zbMATH Keywords

computational logicknowledge representationlogic programmingreflection principlelogical framework

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the complexity of the reflected logic of proofs
• Reflecting rules: a note on generalizing the deduction theorem
• Title not available (Why is that?)
• Computational reflection via mechanized logical deduction
• Adding Metalogic Features to Knowledge Representation Languages*
• A Logic for Reflective ASMs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming

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)