Similar Items: Set-like operations on propositional logic programs
- Goedel Logics: On the Elimination of The Absoluteness Operator
- Separation Logic for Verifying Physical Collisions of CNC Programs
- Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
- Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- A Logic of Inability