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

DOI10.1016/J.IC.2005.05.009zbMATH Open1098.03048OpenAlexW2060273424WikidataQ57383706 ScholiaQ57383706MaRDI QIDQ2432763FDOQ2432763

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• 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)