Towards a Proof-Theoretic Foundation for Actor Specification and Verification.

Carlos H. C. Duarte

Published in: ModelAge Workshop (1997)

Keyphrases

proof theoretic
linear logic
nonmonotonic reasoning
default reasoning
proof theory
constraint logic programming
fixpoint
model checking
model theoretic
high level
description logics
deductive databases
default logic
multi attribute