non-classical logic
C33663
concept
Non-classical logic is a broad family of logical systems that modify or reject one or more principles of classical logic (such as bivalence, excluded middle, or monotonicity) to better model reasoning in contexts like vagueness, inconsistency, modality, or resource sensitivity.
Observed surface forms (5)
- modal logic ×5
- fixpoint logic ×1
- many-valued logic system ×1
- propositional logic extension ×1
- substructural logic ×1
Instances (8)
- Kleene strong three-valued logic
-
branching-time temporal logic CTL*
via concept surface "modal logic"
surface form: CTL*
- CTL* via concept surface "modal logic"
- linear temporal logic via concept surface "modal logic"
- linear logic via concept surface "substructural logic"
-
Kleene
via concept surface "many-valued logic system"
surface form: Kleene’s strong three-valued logic
-
mu-calculus
via concept surface "modal logic"
surface form: μ-calculus
- LTL via concept surface "modal logic"