scientific article
From MaRDI portal
Publication:3408136
zbMath1273.03068MaRDI QIDQ3408136
Luigi Santocanale, Silvio Ghilardi
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (6)
Distributive Lattice-Structured Ontologies ⋮ Unification and combination of a class of traversal strategies made with pattern matching and fixed-points ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Quantifier Elimination and Provers Integration ⋮ Model-theoretic methods in combined constraint satisfiability ⋮ Undecidability of Multi-modal Hybrid Logics
This page was built for publication:
