A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing