Context logic as modal logic
scientific article