Логіка норм, заснована на теорії соціальної взаємодії
Логічну теорію соціальної взаємодії застосовують для формулювання спеціальної логіки норм, де нормативні оператори поєднуються із операторами соціальної взаємодії. Це дозволяє більш докладно визначити структуру норм, виокремити типи обов’язків і прав, певним чином їх систематизувати.
Мова такої логіки будується шляхом задания алфавіту та визначення правильно побудованої формули.Алфавіт логіки норм, заснованої на теорії соціальної взаємодії
I. Нелогічні знаки
II. Логічні знаки
III. Технічні знаки.
Визначення правильно побудованої формули цієї логічної теорії:
Використовуючи мову логіки норм, засновану на логічній теорії соціальної взаємодії, можна проаналізувати такі важливі проблеми як проблему класифікації норм та проблему кореляції прав та обов’язків.
Норму в рамках цієї логічної теорії розглядають як певне положення, яке стосується безпосередньо тільки двох суб’єктів. Одного з них називають активним суб’єктом, іншого - пасивним суб’єктом. Активний суб’єкт має право чи обов’язок виконувати певну дію відносно пасивного суб’єкта. Як активний, так і пасивний суб’єкт можуть бути або окремими індивідами, або певною групою осіб.
Залежно від характеру суб’єкта усі норми поділяються на такі типи: 
