On the Theory of Programming Logics

Robert L. Constable

Published in: STOC (1977)

Keyphrases

theoretical basis
programming language
databases
learning algorithm
logic programming
theoretical framework
modal logic
general theory
set theory
database systems
description logics
programming environment
nonmonotonic logics
proof theory
proof theoretic
classical first order logic