scientific article; zbMATH DE number 1303345
From MaRDI portal
Publication:4249898
zbMath0927.03027MaRDI QIDQ4249898
Publication date: 17 June 1999
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 (5)
Some techniques for proving termination of the hyperresolution calculus ⋮ Deciding expressive description logics in the framework of resolution ⋮ Deciding the \(E^+\)-class by an a posteriori, liftable order ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Deciding the guarded fragments by resolution
Uses Software
This page was built for publication:
