Affiliation:
1. Institute for Information Transmission Problems of the Russian Academy of Sciences
Abstract
We present a new logic called SPL, embedded into Solovay’s provability logic S using a translation that embeds Visser’s formal logic FPL into G¨odel-L¨ob’s provability GL. SPL is formulated in the form of sequent and natural deduction calculi, a relational semantics is proposed.
Subject
General Earth and Planetary Sciences,General Environmental Science