{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T04:35:01Z","timestamp":1771562101982,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11225-015-9642-z","type":"journal-article","created":{"date-parts":[[2016,1,9]],"date-time":"2016-01-09T11:50:42Z","timestamp":1452340242000},"page":"317-341","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Admissible Bases Via Stable Canonical Rules"],"prefix":"10.1007","volume":"104","author":[{"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"David","family":"Gabelaia","sequence":"additional","affiliation":[]},{"given":"Silvio","family":"Ghilardi","sequence":"additional","affiliation":[]},{"given":"Mamuka","family":"Jibladze","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"9642_CR1","unstructured":"Bezhanishvili, G., N. Bezhanishvili, and R. Iemhoff, Stable canonical rules, Journal of Symbolic Logic, to appear. Available as the ILLC Prepublication Series Report PP-2014-08."},{"key":"9642_CR2","unstructured":"Bezhanishvili, G., Y. Bezhanishvili, and J. Ilin, Cofinal stable logics. Submitted. Available as the ILLC Prepublication Series Report PP-2015-08, 2015."},{"issue":"1","key":"9642_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-007-2032-2","volume":"58","author":"G. Bezhanishvili","year":"2008","unstructured":"Bezhanishvili G., Mines R., Morandi P. J.: Topo-canonical completions of closure algebras and Heyting algebras. Algebra Universalis 58(1), 1\u201334 (2008)","journal-title":"Algebra Universalis"},{"key":"9642_CR4","unstructured":"Bezhanishvili, N., and S. Ghilardi, Multiple-conclusion rules, hypersequents syntax and step frames, in R. Gore, B. Kooi, and A. Kurucz, (eds.), Advances in Modal Logic (AiML 2014), An extended version available as ILLC Prepublication Series Report PP-2014-05, College Publications, 2014, pp. 54\u201361."},{"key":"9642_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9642_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M.: Modal Logic. The Clarendon Press, Oxford (1997)"},{"issue":"2","key":"9642_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.apal.2010.09.001","volume":"162","author":"P. Cintula","year":"2010","unstructured":"Cintula P., Metcalfe G.: Admissible rules in the implication-negation fragment of intuitionistic logic. Annals of Pure and Applied Logic 162(2), 162\u2013171 (2010)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9642_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order.","author":"B. A. Davey","year":"2002","unstructured":"Davey B. A., Priestley H. A.: Introduction to Lattices and Order, 2nd edn., Cambridge University Press, New York (2002)","edition":"2"},{"key":"9642_CR9","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia L.: Topological Kripke models. Soviet Mathematics Doklady 15, 147\u2013151 (1974)","journal-title":"Soviet Mathematics Doklady"},{"key":"9642_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2271891","volume":"40","author":"H. Friedman","year":"1975","unstructured":"Friedman H.: One hundred and two problems in mathematical logic. Journal of Symbolic Logic 40, 113\u2013129 (1975)","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9642_CR11","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","volume":"64","author":"S. Ghilardi","year":"1999","unstructured":"Ghilardi S.: Unification in intuitionistic logic. Journal of Symbolic Logic 64(2), 859\u2013880 (1999)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9642_CR12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0168-0072(99)00032-9","volume":"102","author":"S. Ghilardi","year":"2000","unstructured":"Ghilardi S.: Best solving modal equations. Annals of Pure and Applied Logic 102(3), 183\u2013198 (2000)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"9642_CR13","doi-asserted-by":"crossref","first-page":"193","DOI":"10.3166\/jancl.20.193-217","volume":"20","author":"S. Ghilardi","year":"2010","unstructured":"Ghilardi S.: Continuity, freeness, and filtrations. Journal of Applied Non-classical Logics 20(3), 193\u2013217 (2010)","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9642_CR14","unstructured":"Goudsmit, J., Intuitionistic rules, admissible rules of intermediate logics. PhD thesis, University of Utrecht, 2015."},{"issue":"1","key":"9642_CR15","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2694922","volume":"66","author":"R. Iemhoff","year":"2001","unstructured":"Iemhoff R.: On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic 66(1), 281\u2013294 (2001)","journal-title":"Journal of Symbolic Logic"},{"key":"9642_CR16","doi-asserted-by":"crossref","unstructured":"Iemhoff, R., Consequence relations and admissible rules, Journal of Philosophical Logic 2015. doi: 10.1007\/s10992-015-9380-8.","DOI":"10.1007\/s10992-015-9380-8"},{"issue":"3","key":"9642_CR17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1093\/jigpal\/jzn004","volume":"16","author":"E. Je\u0159\u00e1bek","year":"2008","unstructured":"Je\u0159\u00e1bek E.: Independent bases of admissible rules. Logic Journal of IGPL 16(3), 249\u2013267 (2008)","journal-title":"Logic Journal of IGPL"},{"issue":"4","key":"9642_CR18","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.2178\/jsl\/1254748686","volume":"74","author":"E. Je\u0159\u00e1bek","year":"2009","unstructured":"Je\u0159\u00e1bek E.: Canonical rules. Journal of Symbolic Logic 74(4), 1171\u20131205 (2009)","journal-title":"Journal of Symbolic Logic"},{"key":"9642_CR19","unstructured":"Kracht, M., Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics, vol. 142, North-Holland Publishing Co., Amsterdam, 1999."},{"issue":"7\u20138","key":"9642_CR20","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.apal.2013.01.001","volume":"164","author":"S. Odintsov","year":"2013","unstructured":"Odintsov S., Rybakov V.: Unification and admissible rules for paraconsistent minimal Johanssons\u2019 logic J and positive intuitionistic logic IPC+. Annals of Pure and Applied Logic 164(7\u20138), 771\u2013784 (2013)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9642_CR21","unstructured":"Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics. Monografie Matematyczne Tom 41. Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963."},{"key":"9642_CR22","unstructured":"Rozi\u00c9re, P., Regles admissibles en calcul propositionnel intuitionniste. PhD thesis, Universit\u00e9 Paris VII, 1992."},{"key":"9642_CR23","doi-asserted-by":"crossref","unstructured":"Rybakov, V. V., Bases of admissible rules of the logics S4 and Int, Algebra i Logika 24(1):87\u2013107, 123, 1985.","DOI":"10.1007\/BF01978706"},{"key":"9642_CR24","unstructured":"Rybakov, V. V., Admissibility of Logical Inference Rules, Studies in Logic and the Foundations of Mathematics, vol. 136, North-Holland Publishing Co., Amsterdam, 1997."},{"issue":"4","key":"9642_CR25","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1002\/1521-3870(200111)47:4<441::AID-MALQ441>3.0.CO;2-J","volume":"47","author":"V. V. Rybakov","year":"2001","unstructured":"Rybakov V. V.: Construction of an explicit basis for rules admissible in modal system S4. Mathematical Logic Quarterly 47(4), 441\u2013446 (2001)","journal-title":"Mathematical Logic Quarterly"},{"key":"9642_CR26","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0168-0072(90)90055-7","volume":"50","author":"V. V. Rybakov","year":"1990","unstructured":"Rybakov V. V.: Problems of substitution and admissibility in the modal system grz and in intuitionistic propositional calculus. Annals of Pure and Applied Logic 50, 71\u2013106 (1990)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9642_CR27","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2275439","volume":"57","author":"V. V. Rybakov","year":"1992","unstructured":"Rybakov V. V.: Rules of inference with parameters for intuitionistic logic. Journal of Symbolic Logic 57, 33\u201352 (1992)","journal-title":"Journal of Symbolic Logic"},{"key":"9642_CR28","doi-asserted-by":"crossref","unstructured":"Venema, Y., Algebras and coalgebras. In Blackburn, P., J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, Studies in Logic and Practical Reasoning, vol. 3. Elsevier, New York, 2007, pp. 331\u2013426.","DOI":"10.1016\/S1570-2464(07)80009-7"},{"issue":"4","key":"9642_CR29","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","volume":"57","author":"M. Zakharyaschev","year":"1992","unstructured":"Zakharyaschev M.: Canonical formulas for K4 I. Basic results. Journal of Symbolic Logic 57(4), 1377\u20131402 (1992)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9642-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T18:28:37Z","timestamp":1718303317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9642-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,9]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9642"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9642-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,9]]}}}