Similar Items: Boolean proportions
- Quantifying over Boolean announcements
- Boolean basis, formula size, and number of modal operators
- Complexity classifications for different equivalence and audit problems for Boolean circuits
- Overlap Algebras: a Constructive Look at Complete Boolean Algebras
- On linear rewriting systems for Boolean logic and some applications to proof theory
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability