| More precisely, in this class non-deterministic ACAs, deterministic ACAs and monadic second order logic have the same expressive power. |
| Logic and algorithms Polynomial time algorithms based on monadic second-order logic and graph decompositions of bounded width, as discussed above, are not implementable directly due to the huge associated constants. |
| They can hide inner feelings of a monadic existence, while the rest of the world seems to cruise carefree. |
| Thus the natural view of change is that real, metaphysical change in a thing would be change in the monadic or internal or intrinsic properties of the thing. |
| In other words, since monads are not 'things' but 'subjects,' the argument against direct monadic interaction is blatantly invalid. |
| In the simplest case — a monadic predication — the proposition will be the act of predicating a property of an object. |
