Similar Items: Full Definability in a Profunctorial Model
- Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
- Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
- Zero-Knowledge Model Checking
- iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Weighted Rules under the Stable Model Semantics