Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions

DOI10.1007/978-3-540-74621-8_3zbMath1148.68469OpenAlexW2104481363MaRDI QIDQ3525000

Viorica Sofronie-Stokkermans

Publication date: 16 September 2008

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items

On First-Order Model-Based Reasoning, On Hierarchical Reasoning in Combinations of Theories, Locality Results for Certain Extensions of Theories with Bridging Functions, On Local Reasoning in Verification, On Interpolation and Symbol Elimination in Theory Extensions, Automatic Verification of Combined Specifications: An Overview

Uses Software

• REDLOG
• FOCI