Logical Filtering and Smoothing: State Estimation in Partially Observable Domains