scientific article; zbMATH DE number 1215478
From MaRDI portal
Publication:4215611
zbMath0956.03512MaRDI QIDQ4215611
Publication date: 4 March 2001
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)
Related Items (12)
Modularity results for interpolation, amalgamation and superamalgamation ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ An NP-complete fragment of fibring logic ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Intuitionistic propositional logic with Galois negations ⋮ Quantifier Elimination and Provers Integration ⋮ Model-theoretic methods in combined constraint satisfiability ⋮ Completeness and Complexity of Multi-modal CTL ⋮ Forgetting in multi-agent modal logics ⋮ Axiomatization and Completeness of Lexicographic Products of Modal Logics ⋮ Unions of non-disjoint theories and combinations of satisfiability procedures ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication:
