About declarative semantics of logic-based agent languages