Computational reflection via mechanized logical deduction

DOI10.1002/(SICI)1098-111X(199605)11:5%3C279::AID-INT3%3E3.0.CO;2-LMaRDI QIDQ4884066zbMATH OpenOpenAlexFDO

Authors Alessandro Cimatti, Paolo Traverso

Publication date 13 January 1997

Full work available at URL https://doi.org/10.1002/(sici)1098-111x(199605)11:5%3C279::aid-int3%3E3.0.co;2-l

zbMATH Keywords

computational reflection via mechanized logical deduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Reflection principles in computational logic
• scientific article; zbMATH DE number 2185723
• Hypothetical reasoning and definitional reflection in logic programming
• Reflection in conditional rewriting logic
• Practical reflection for sequent logics
• scientific article; zbMATH DE number 1231672
• scientific article; zbMATH DE number 1231540
• On the complexity of the reflected logic of proofs
• scientific article; zbMATH DE number 5841868
• Deducing Logic Programs

Cited in

(4)

• A Logic for Reflective ASMs
• scientific article; zbMATH DE number 67450 (Why is no real title available?)
• Machine Deduction
• Compositional computational reflection

This page was built for publication: Computational reflection via mechanized logical deduction

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