A Logic for Miranda, Revisited.

Simon J. Thompson

Published in: Formal Aspects Comput. (1995)

Keyphrases

logic programming
modal logic
artificial intelligence
computational properties
databases
computer vision
search algorithm
classical logic
predicate logic
epistemic logic
logic synthesis