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

Michael Gabbay, Murdoch James Gabbay

Browse the full LPAR paper archive.