Depth-bounded Reasoning in First-order Logic

Various suggestions as to what constitutes a “logic”, the product of multiple discussions with Dov Gabbay, are summarized.

Authors

• Marcello D’Agostino
• Costanza Larese
• Sanjay Modgil

Keywords

No keywords are indexed for this paper.