Linear Abadi and Plotkin Logic.

Lars Birkedal Rasmus Ejlers Møgelberg Rasmus Lerchedahl Petersen

Published in: Log. Methods Comput. Sci. (2006)

Keyphrases

closed form
logic programming
modal logic
predicate logic
optimal solution
multi agent systems
automated reasoning
computational properties
set theory
linear complexity
dynamic logic