“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Boolean unification - The story so far
Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories
Journal of Symbolic Computation
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Combining matching algorithms: The regular case
Journal of Symbolic Computation
Term rewriting and all that
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Combination Techniques for Non-Disjoint Equational Theories
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Combining word problems through rewriting in categories with products
Theoretical Computer Science - Category theory and computer science
Model-Theoretic Methods in Combined Constraint Satisfiability
Journal of Automated Reasoning
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
On the multimodal logic of normative systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
On the fusion of coalgebraic logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Hi-index | 0.00 |
Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics-which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equational theories. In this paper, we present a new approach for combining decision procedures for the word problem in the non-disjoint case that applies to equational theories induced by modal logics, but is not restricted to them. The known fusion decidability results for modal logics are instances of our approach. However, even for equational theories induced by modal logics our results are more general since they are not restricted to so-called normal modal logics.