On Hierarchical Reasoning in Combinations of Theories (original) (raw)
Related papers
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
2007
Hierarchic Reasoning in Local Theory Extensions
Lecture Notes in Computer Science, 2005
On Local Reasoning in Verification
Viorica Sofronie-Stokkermans, Swen Jacobs
Lecture Notes in Computer Science, 2008
Locality Results for Certain Extensions of Theories with Bridging Functions
Lecture Notes in Computer Science, 2009
Parameterized Provability in Equational Logic
2017
On Shostak's Decision Procedure for Combinations of Theories
1996
Modular Proof Systems for Partial Functions with Weak Equality
Lecture Notes in Computer Science, 2004
Combination of convex theories: Modularity, deduction completeness, and explanation
Journal of Symbolic Computation, 2010
Combined Satisfiability Modulo Parametric Theories
2007
Automatic decidability for theories with counting operators
On the Provability Logic of Bounded Arithmetic
Rineke Verbrugge, Alessandro Berarducci
Annals of Pure and Applied Logic, 1993
Applications of Hierarchical Reasoning in the Verification of Complex Systems
Viorica Sofronie-Stokkermans, Swen Jacobs
Electronic Notes in Theoretical Computer Science, 2007
Provability and interpretability logics with restricted realizations
arXiv (Cornell University), 2020
On Provability Logics with Linearly Ordered Modalities
Studia Logica, 2014
Theories = Signatures + Propositions Used as Types
1994
Closed Fragments of Provability Logics of Constructive Theories
The Journal of Symbolic Logic, 2008
Representing knowledge with theories about theories
The Journal of Logic Programming, 1990
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
2006
Combining Two Formalism for Reasoning about Concepts
2007
Compositional Reasoning for Epistemic Logics
2012
Notions of locality and their logical characterizations over finite models
Journal of Symbolic Logic, 1999
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets
Lecture Notes in Computer Science, 2009
Realization Theorems for Justification Logics: Full Modularity
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, 2015
Complexity issues in justification logic
2008
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science, 2007
14 On Logic of Formal Provability and Explicit Proofs
2016
Relational proof system for linear and other substructural logics
Logic Journal of IGPL, 1997
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
Annals of Pure and Applied Logic, 1996
On automated reasoning about recursively defined functions and homomorphisms
Resolution-based Theorem Proving for SHn-Logics (Extended Abstract)
2007
Decidable Fragments of Logics Based on Team Semantics
Automatic Decidability for Theories Modulo Integer Offsets
2012
Towards structurally-free theorem proving
Logic Journal of IGPL, 1998