Automated Reasoning
From MaRDI portal
Publication:5307057
DOI10.1007/b98691zbMath1126.03302OpenAlexW4239036627MaRDI QIDQ5307057
Cesare Tinelli, Silvio Ghilardi, Franz Baader
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Word problems, etc. in computability and recursion theory (03D40)
Related Items
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Model-theoretic methods in combined constraint satisfiability
