An admissibility criterion for inference rules with metavariables in the modal logic S4.
Rutskij, A.N. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Rutskij, A.N. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Linke, Yu.Yu., Sakhanenko, A.I. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Khanmamedov, Ag.Kh. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
Shestakov, A. I. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
Ershov, Yu.V., Yakovlev, E.I. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Lotov, V.I., Orlova, N.G. (2004)
Sibirskij Matematicheskij Zhurnal
Similarity:
Borisov, Yu.F. (2004)
Sibirskij Matematicheskij Zhurnal
Similarity:
Demidenko, G.V., Likhoshvaj, V.A., Kotova, T.V., Khropova, Yu.E. (2006)
Sibirskij Matematicheskij Zhurnal
Similarity:
Lyul'ko, N.A. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Guda, S.A. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Romanovskij, R.K., Bel'gart, L.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Lyul'ko, N.A. (2005)
Sibirskij Matematicheskij Zhurnal
Similarity:
Boimatov, K.Kh. (2006)
Sibirskij Matematicheskij Zhurnal
Similarity: