Computational reflection via mechanized logical deduction

DOI10.1002/(SICI)1098-111X(199605)11:5%3C279::AID-INT3%3E3.0.CO;2-LzbMATH Open0854.68096OpenAlexW1983686791MaRDI QIDQ4884066FDOQ4884066

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

Recommendations

• Reflection principles in computational logic
• scientific article
• 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
• Deducing Logic Programs

zbMATH Keywords

computational reflection via mechanized logical deduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (4)

• Compositional computational reflection
• Title not available (Why is that?)
• Machine Deduction
• A Logic for Reflective ASMs

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)