scientific article; zbMATH DE number 970832
From MaRDI portal
Publication:5689038
zbMath0866.03001MaRDI QIDQ5689038
Publication date: 23 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicmodel theoryproof theorylogic programmingmathematical logicalgorithm theoryself-referential formula
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic programming (68N17)
Related Items (2)
Normal and strong expansion equivalence for argumentation frameworks ⋮ Metalogic, Schopenhauer and Universal Logic
This page was built for publication:
