scientific article
From MaRDI portal
Publication:3681933
zbMath0566.68037MaRDI QIDQ3681933
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)
Related Items (2)
Semantic analysis of inductive reasoning ⋮ An efficient relational deductive system for propositional non-classical logics
This page was built for publication: