A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method

Overview of attention for article published in Publications of the Research Institute for Mathematical Sciences, August 1977

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 261 followers.

https://t.co/2dnB1ciQyd この論文の 6.2 The Puzzle of Unfaithful Wives がその問題を扱っています。

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.