scientific article
From MaRDI portal
Publication:3800001
zbMath0654.03007MaRDI QIDQ3800001
Luis Fariñas del Cerro, Andreas Herzig
Publication date: 1988
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 (4)
A deontic approach to database integrity ⋮ Resolution for some first-order modal systems ⋮ A resolution framework for finitely-valued first-order logics ⋮ Unsorted Functional Translations
This page was built for publication:
