Интуиционистская логика вот имеет, например, семантику Крипке. Есть семантика Бета.

Question

Интуиционистская логика вот имеет, например, семантику Крипке. Есть семантика Бета.

В целом очень понятные там семантики, стандартные.

Релевантные логики (очень похожи на линейные в ряде смыслов, но люди тут уже совсем другие) тоже в целом стандартно, хотя там всё сложнее из-за тернарного отношения следования.

А что насчёт линейной? Она не имеет contraction, как релевантная, но у неё тоже интенсиональные связки (как в релевантной логике с дополнительными интенсиональными связками); в линейной логике они называются мультипликативными.

Но стандартную семантику не находил. Операционных вот несколько.