2 problems

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…
Conjectureopenexpressive-power finite-variable-logics propositional-dynamic-logicarXiv posted 2 days ago
0 votes0 replies0 views
The conjecture on diagonal-free equations distinguishing the two rainbow algebras
Rainbow indistinguishability conjecture. The two algebras cannot be distinguished by any $n$ -variable diagonal-free equation.
Conjectureopenalgebraic-logic finite-variable-logics polyadic-algebrasarXiv posted 2 days ago

The variable-free expressivity conjecture for PDL-style logics