Description of Modal Logics Inheriting Admissible Rules for S4


RYBAKOV V. V. , GENCER C., ÖNER T.

LOGIC JOURNAL OF THE IGPL, no.5, ss.655-664, 1999 (Hakemli Üniversite Dergisi)

  • Basım Tarihi: 1999
  • Dergi Adı: LOGIC JOURNAL OF THE IGPL
  • Sayfa Sayıları: ss.655-664