and so on.
- Alethic
- Causal
- Connexive
- Deontic
- Deviant
- Differential Linear logic - Rosetta stone (Baez) Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic and a categorical axiomatization of its denotational models. We also introduce a simple categorical condition on these models under which a general antiderivative operation becomes available. Last we briefly describe the model of sets and relations and give a more detailed account of the model of finiteness spaces and linear and continuous functions.
- Doxastic
- Dynamic
- Epistemic
- Erotetic
- Free
- Fuzzy
- Hybrid
- Imperative
- Linear logic Формальная логика обычно представляется системой оперирующей высказываниями, для которых мы можем установить их истинность (или ложность). Как правило, речь идет о высказываниях, для которых истинность может быть установлена раз и навсегда. Это величина константная и вечная. Высказывание нельзя потратить, израсходовать. Но для линейной логики это не совсем так. Она имеет дело как с высказываниями, так и с командами/действиями. Единожды совершённое действие не обязательно можно повторить. Таким образом, в линейной логике наличествуют величины расходуемые, временные.
- Linear temporal logic
- Modal logic
- Monotonic
- Multimodal
- Noise-based logic
- Non-monotonic
- Paraconsistent logic
- Partial logic
- Provability
- Quantum
- Relevance
- Spatial logic
- Substructural logic
- Temporal
- Temporal logic of actions
- Vector logic
and so on.
Dynamic logic vs Imperative.