Logical machines