Documents ©Agent Technology, 2008, Ai Lab NJU Agent Technology Agent model and theory.

Agent model and theory 6.1 Logical Background 6.1.1 Basic Concepts 6.1.2 Propositional and Predicate Logic 6.1.3 Modal Logic 6.1.4 Dynamic Logic 6.1.5 Temporal Logic 6.2…