A formal, modal logic based framework