MathDB1 problem
- 0 votes0 replies0 views
The variable-free expressivity conjecture for PDL-style logics
Variable-free expressivity conjecture. The phenomenon that variable-free fragments are as semantically expressive as the corresponding entire logics should be representative of PDL…