Axiomatizing the Monodic Fragment of
S. Bauer · Journal of Logic and Computation · 2006
As we can show that the two-variable monadic fragment of the full first-order extension of the propositional branching time logic is not recursively enumerable, we show in this article that the monodic fragment of can be axiomatized.