Algebraic and model theoretic techniques for fusion decidability in modal logics

zbMATH Open1273.03068MaRDI QIDQ3408136FDOQ3408136

Authors: Silvio Ghilardi, Luigi Santocanale 

Publication date: 24 February 2010

Recommendations

• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• Automated Reasoning
• The decision problem for combined modal logics
• scientific article; zbMATH DE number 7599937
• On the fusion of coalgebraic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited In (10)

• Fusion of sequent modal logic systems labelled with truth values
• The decision problem for combined modal logics
• Undecidability of multi-modal hybrid logics
• Model-theoretic methods in combined constraint satisfiability
• Distributive Lattice-Structured Ontologies
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
• Automated Reasoning
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• Quantifier Elimination and Provers Integration
• CoNP complexity for combinations of non-normal modal logics

This page was built for publication: Algebraic and model theoretic techniques for fusion decidability in modal logics

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