engleski

A W-flavoured series of interpretability principles

While attempting to prove that the logic ILWR is modally complete, we found a new series of interpretability principles. In this short paper we sketch the proofs that the series is arithmetically sound, show that principles are valid in ordinary ILWR-frames, and evaluate the possible impact of our results.

Formalised interpretability ; Interpretability logic ; Modal logic

nije evidentirano