scientific article
From MaRDI portal
Publication:3509041
zbMath1151.03013MaRDI QIDQ3509041
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Simulation and Synthesis of Deduction Calculi ⋮ Using tableau to decide description logics with full role negation and identity ⋮ A new methodology for developing deduction methods
Uses Software
This page was built for publication:
