Algebraic semantics and program logics: Algorithmic logic for program trees.

Patrice Enjalbert

Published in: Logic of Programs (1980)

Keyphrases

declarative semantics
propositional dynamic logic
logic programming
modal logic
nonmonotonic logics
proof theory
computational properties
logic programs
deductive databases
automated reasoning
decision trees
stable model semantics
dynamic logic
formal semantics
intended meaning
proof theoretic
intuitionistic logic