A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

DOI10.1016/J.IC.2005.05.009MaRDI QIDQ2432763zbMATH OpenOpenAlexWikidataFDO

Authors Franz Baader, Silvio Ghilardi, Cesare Tinelli

Publication date 25 October 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2005.05.009

zbMATH Keywords

decidabilityfusion of modal logicscombining decision procedures for the word problemequational theories induced by modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• Automated Reasoning
• scientific article; zbMATH DE number 1538019
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• Deciding the word problem in the union of equational theories.
• A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method

Cites work

• scientific article; zbMATH DE number 4018416 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3898849 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• scientific article; zbMATH DE number 3479108 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1215478 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 1222489 (Why is no real title available?)
• scientific article; zbMATH DE number 1341607 (Why is no real title available?)
• scientific article; zbMATH DE number 1753135 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
• A guide to completeness and complexity for modal logics of knowledge and belief
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• An algebraic approach to non-classical logics
• Automated Reasoning
• Boolean unification - the story so far
• Combination techniques for non-disjoint equational theories
• Combining matching algorithms: The regular case
• Combining word problems through rewriting in categories with products
• Counting Objects
• Deciding the word problem in the union of equational theories.
• Graded modalities. I
• Independent propositional modal logics
• Many-dimensional modal logics: theory and applications
• Model theory.
• Model-theoretic methods in combined constraint satisfiability
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• Properties of independently axiomatizable bimodal logics
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Simplification by Cooperating Decision Procedures
• The join of equational theories
• Unification in a combination of arbitrary disjoint equational theories
• Unification theory
• Unions of non-disjoint theories and combinations of satisfiability procedures
• “Sometimes” and “not never” revisited

Cited in

(9)

• SMT-based verification of data-aware processes: a model-theoretic approach
• Connecting many-sorted theories
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• Modularity results for interpolation, amalgamation and superamalgamation
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
• Model completeness, covers and superposition
• Automated Reasoning
• scientific article; zbMATH DE number 1538019 (Why is no real title available?)
• CoNP complexity for combinations of non-normal modal logics

This page was built for publication: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432763)