Certification Using the Mobius Base Logic.

Lennart Beringer Martin Hofmann Mariela Pavlova

Published in: FMCO (2007)

Keyphrases

search engine
third party
modal logic
multi valued
classical logic
defeasible logic
sound and complete axiomatization
logic programming
database administration
predicate logic
proof theory
real time
multi agent
logical framework
computational properties
epistemic logic