A logic of propositional control for truthful implementations.

Nicolas Troquard Wiebe van der Hoek Michael J. Wooldridge

Published in: TARK (2009)

Keyphrases

sound and complete axiomatization
multi valued
control system
propositional logic
first order logic
control method
automated reasoning
horn clauses
mechanism design
description logics
modal logic
default logic
predicate logic
predicate calculus
proof procedure
cl pc