×

zbMATH — the first resource for mathematics

Undecidability of the unification and admissibility problems for modal and description logics. (English) Zbl 1367.03026

MSC:
03B35 Mechanization of proofs and logical operations
03B25 Decidability of theories and sets of sentences
03B45 Modal logic (including the logic of norms)
68T27 Logic in artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI