A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics

No abstract is available for this paper.

• Publication year

  2004

• Venue

  International Joint Conference on Automated Reasoning

• Publication date

  2004-07-04

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-25984-8_11
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Fusions of Description Logics and Abstract Description Systems

  2011influential reference
• Distributive Lattices

  2004cited by this paper
• Model-Theoretic Methods in Combined Constraint Satisfiability

  2004influential reference
• Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics

  2003influential reference
• Combining word problems through rewriting in categories with products

  2003influential reference
• Quantifier Elimination and Provers Integration

  2003influential reference
• Many-Dimensional Modal Logics: Theory and Applications

  2003cited by this paper
• Unions of non-disjoint theories and combinations of satisfiability procedures

  2003cited by this paper
• Propagating temporal relations of intervals by matrix

  2002cited by this paper
• Sheaves, games, and model completions

  2002cited by this paper
• The Inverse Method

  2001cited by this paper
• Modal Logic

  2001cited by this paper
• Lecture Notes in Artificial Intelligence

  1999cited by this paper
• A PSpace Algorithm for Graded Modal Logic

  1999cited by this paper
• Deciding the Word Problem in the Union of Equational Theories

  1998influential reference
• Term rewriting and all that

  1998cited by this paper
• Modal Logic

  1997cited by this paper
• A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method

  1997cited by this paper
• Modal Logic (Oxford Logic Guides, vol. 35)

  1997cited by this paper
• Fusions of Modal Logics Revisited

  1996cited by this paper
• Temporal logic

  1995cited by this paper
• Counting Objects

  1995cited by this paper
• Combination Techniques for Non-Disjoint Equational Theories

  1994influential reference
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations

  1993cited by this paper
• A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief

  1992influential reference
• Extensions of Concept Languages for a Mechanical Engineering Application

  1992cited by this paper
• Properties of independently axiomatizable bimodal logics

  1991cited by this paper
• Combining Matching Algorithms: The Regular Case

  1991cited by this paper
• Qualifying Number Restrictions in Concept Languages

  1991cited by this paper
• Boolean Unification - The Story So Far

  1989influential reference
• Unification in a combination of arbitrary disjoint equational theories

  1989cited by this paper
• Unification in a Combination of Arbitrary Disjoint Equational Theories

  1988cited by this paper
• Model Theory

  1987cited by this paper
• “Sometimes” and “not never” revisited: on branching versus linear time temporal logic

  1986cited by this paper
• Unification theory

  1986cited by this paper
• Graded modalities. I

  1985cited by this paper
• Combining satisability procedures by equality-sharing

  1984cited by this paper
• Results on the Propositional µ-Calculus

  1982cited by this paper
• Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

  1981cited by this paper
• Independent propositional modal logics

  1980cited by this paper
• Universal Algebra

  1979cited by this paper
• Simplification by Cooperating Decision Procedures

  1979cited by this paper
• SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC

  1976influential reference
• An Algebraic Approach To Non Classical Logics

  1974cited by this paper
• The join of equational theories

  1974cited by this paper
• Categories for the Working Mathematician

  1971cited by this paper
• An essay in classical modal logic

  1971cited by this paper
• Temporal Logic

  1971cited by this paper

• Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems

  2026cites this paper
• Fusions of One-Variable First-Order Modal Logics

  2026influential citation
• MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS

  2022cites this paper
• Model Completeness, Uniform Interpolants and Superposition Calculus

  2021cites this paper
• SMT-based verification of data-aware processes: a model-theoretic approach

  2020cites this paper
• Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

  2020cites this paper
• A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction

  2019cites this paper
• Building and Combining Matching Algorithms

  2019cites this paper
• Model Completeness, Covers and Superposition

  2019cites this paper
• From Model Completeness to Verification of Data Aware Processes

  2019cites this paper
• Modularity results for interpolation, amalgamation and superamalgamation

  2018influential citation
• Quantifier Elimination for Database Driven Verification

  2018cites this paper
• Decidability and complexity of fibred logics without shared connectives

  2016cites this paper
• Propagators and Solvers for the Algebra of Modular Systems

  2016cites this paper
• Infinitely Valued Gödel Semantics for Expressive Description Logics

  2015cites this paper
• Hierarchical Combination

  2013cites this paper
• Automated Deduction – CADE-24

  2013influential citation
• Quantifier-Free Interpolation of a Theory of Arrays

  2012cites this paper
• Rewriting-based Quantifier-free Interpolation for a Theory of Arrays

  2011cites this paper
• Reasoning in combinations of theories

  2011cites this paper
• On the Fusion of Coalgebraic Logics

  2011cites this paper
• Unification in modal and description logics

  2011cites this paper
• Conception de Proc edures de D ecision par Combinaison et Saturation

  2011cites this paper
• Parallel composition of logic calculi with proofs as generalized 2-cells

  2010cites this paper
• Equational reasoning and combination methods : from programs to proofs 20 years of research in automated deduction , equational reasoning and combination Summary of research activities

  2009cites this paper
• Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve. (Equational reasoning and combination methods: from programs to proofs)

  2009cites this paper
• Combination methods for software verification

  2008cites this paper
• Combination Methods for Verification Problems

  2008cites this paper
• ombination methods for software verification. (Méthodes de combinaison pour la vérification de logiciels)

  2008cites this paper
• A comprehensive combination framework

  2008influential citation
• Combining modal logics

  2007cites this paper
• On the Multimodal Logic of Normative Systems

  2007cites this paper
• Conception de Procédures de Décision par Combinaison et Saturation. (Design of decision procedures by combination and saturation)

  2007cites this paper
• Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems

  2007cites this paper
• The calculus of computation - decision procedures with applications to verification

  2007influential citation
• Combining decision procedures for the reals

  2006cites this paper
• Recent Advances in Combined Decision Problems

  2006cites this paper
• Satisfiability of ATEL with Common and Distributed Knowledge is ExpTime-Complete

  2005cites this paper
• How Not to Combine Modal Logics

  2005influential citation
• Connecting Many-Sorted Structures and Theories Through Adjoint Functions

  2005cites this paper
• Connecting many-sorted theories

  2005influential citation
• A Comprehensive Framework for Combined Decision Procedures

  2005cites this paper
• Model-Theoretic Methods in Combined Constraint Satisfiability

  2004cites this paper
• Combinações de lógicas modais não-normais

  2004cites this paper
• Why are combined modal logics so robustly undecidable ?

  year unknowncites this paper
• and Superposition

  year unknowncites this paper