scientific article; zbMATH DE number 589685

zbMath0814.03011MaRDI QIDQ4295814

Lea Terracini

Publication date: 13 June 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

provability logicdeclarative semanticsmodal self-referential interpretation of negation by failure in PROLOG

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: