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

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)

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

Cited in

(10)

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

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)