{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:09Z","timestamp":1725664689507},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:24Z","timestamp":1330297224000},"page":"333-341","source":"Crossref","is-referenced-by-count":3,"title":["Quasi-characteristic inference rules for modal logics"],"prefix":"10.1007","author":[{"given":"Vladimir V.","family":"Rybakov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"issue":"No.2","key":"34_CR1","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1070\/SM1977v031n02ABEH002303","volume":"31","author":"A.I. Citkin","year":"1977","unstructured":"Citkin A.I. On Admissible Rules of Intuitionistic Prepositional Logic. Math. USSR Sbornik, V.31, 1977, No.2, 279\u2013288.","journal-title":"Math. USSR Sbornik"},{"issue":"No.4","key":"34_CR2","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF01084082","volume":"6","author":"G.E. Mints","year":"1976","unstructured":"Mints G.E. Derivability of Admissible Rules. J. of Soviet Mathematics, V. 6, 1976, No. 4, 417\u2013421.","journal-title":"J. of Soviet Mathematics"},{"issue":"No.2","key":"34_CR3","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01054709","volume":"53","author":"V. V. Rybakov","year":"1994","unstructured":"Rybakov V. V. Criteria for Admissibility of Inference Rules. Modal and Intermediate Logics with the Branching Property. Studia Logica, V.53, 1994, No.2, 203\u2013225.","journal-title":"Studia Logica"},{"key":"34_CR4","unstructured":"Rybakov V. V. Preserving of Admissible Inference Rules in Modal Logic. In Book: Logical Foundations of Computer Science, Lecture Notes in Computer Science, Eds.: A.Nerode, Yu.V.Matiyasevich, V.813, 1994, Springer-Verlag, 304\u2013316."},{"issue":"No.1","key":"34_CR5","doi-asserted-by":"crossref","first-page":"266","DOI":"10.2307\/2275521","volume":"60","author":"V.V. Rybakov","year":"1995","unstructured":"Rybakov V.V. Hereditarily Structurally Complete Modal Logics. J. of Symbolic Logic, V.60, 1995, No.1, 266\u2013288","journal-title":"J. of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:41:19Z","timestamp":1619574079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}