Similar Items: A Logic of Inability
- Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
- A Fibrational Perspective on Differential Linear Logic
- Logics for Context-free Hyperproperties
- Dsat: A Native SAT Solver for Discrete Logic
- Neural networks as fuzzy logic formulas
- Goedel Logics: On the Elimination of The Absoluteness Operator