A note on globally admissible inference rules for modal and superintuitionistic logics

&
Bulletin of the Section of Logic 34 (2):93-99 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. [REVIEW]Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (4):578-587.
Independent bases for rules admissible in pretabular logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
Decidability of modal logics s4⊕ αn, s4⊕ ξn wrt admissible inference rules.A. N. Rutskiy - 2001 - Bulletin of the Section of Logic 30 (4):181-189.
Logical equations and admissible rules of inference with parameters in modal provability logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
Tabular Logics with no Finite Bases for Inference Rules.V. Rybakov - 2004 - Logic Journal of the IGPL 12 (4):301-311.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 , pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 , pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
Description of modal logics inheriting admissible rules for S4.V. Rybakov - 1999 - Logic Journal of the IGPL 7 (5):655-664.
Even Tabular Modal Logics Sometimes Do Not Have Independent Base for Admissible Rules.Vladimir V. Rybakov - 1995 - Bulletin of the Section of Logic 24 (1):37-40.
An essay on unification and inference rules for modal logics.V. V. Rybakov, M. Terziler & C. Gencer - 1999 - Bulletin of the Section of Logic 28 (3):145-157.

Analytics

Added to PP
2013-10-30

Downloads
23 (#705,261)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references