{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:37Z","timestamp":1761611077183,"version":"3.43.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1005088429206","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"387-396","source":"Crossref","is-referenced-by-count":4,"title":["Not Every \"Tabular\" Predicate Logic is Finitely Axiomatizable"],"prefix":"10.1007","volume":"59","author":[{"given":"Dmitrij","family":"Skvortsov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"149765_CR1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"D. Gabbay","year":"1974","unstructured":"Gabbay, D., and D. de Jongh, 1974, \u2018Sequence of decidable finitely axiomatizable intermediate logics with the disjunction property\u2019, J. of Symb. Logic\n39, 67\u201378.","journal-title":"J. of Symb. Logic"},{"issue":"2","key":"149765_CR2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01620621","volume":">29","author":"S. Ghilardi","year":"1989","unstructured":"Ghilardi, S., 1989, \u2018Presheaf semantics and independence results for some nonclassical first-order logics\u2019, Archive for Math. Logic\n29No.2 (1989), 125\u2013136.","journal-title":"Archive for Math. Logic"},{"key":"149765_CR3","first-page":"131","volume":"14","author":"T. Hosoi","year":"1967","unstructured":"Hosoi, T., 1967, \u2018On the axiomatic method and the algebraic method for dealing with propositional logics\u2019, Journal of the Faculty of Science, Univ. of Tokyo, Sect.I 14, 131\u2013169.","journal-title":"Journal of the Faculty of Science, Univ. of Tokyo"},{"key":"149765_CR4","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/S1385-7258(67)50050-1","volume":"29","author":"C. G. McKay","year":"1967","unstructured":"McKay, C. G., 1967, \u2018On finite logics\u2019, Indag. Math.\n29, 363\u2013365.","journal-title":"Indag. Math."},{"key":"149765_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF01058533","volume":"54","author":"D. Skvortsov","year":"1995","unstructured":"Skvortsov, D., 1995, \u2018On the predicate logic of finite Kripke frames\u2019, Studia Logica\n54, 79\u201388.","journal-title":"Studia Logica"},{"key":"149765_CR6","first-page":"667","volume-title":"Logic and Algebra","author":"D. Skvortsov","year":"1996","unstructured":"Skvortsov, D., 1996, \u2018On finite intersections of intermediate predicate logics\u2019, In: Logic and Algebra (ed. A. Ursini and P. Agliano), Marcel Dekker, N.Y., (Proc. of Intern. Conf. on Logic and Algebra in memory of R.Magari, Siena, 1994), 667\u2013688."},{"key":"149765_CR7","unstructured":"Skvortsov, D., \u2018On predicate logics of some finite Kripke frames\u2019. In preparation."},{"key":"149765_CR8","first-page":"414","volume":"35","author":"S. Yokota","year":"1989","unstructured":"Yokota, S., 1989, \u2018Axiomatization of the first-order intermediate logics of bounded Kripkean heights,I\u2019, Zeitschr. f\u00fcr math, Logik und Grundl. der Math.\n35, 414\u2013421.","journal-title":"Zeitschr. f\u00fcr math, Logik und Grundl. der Math."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005088429206.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005088429206\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005088429206.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:17:45Z","timestamp":1754630265000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005088429206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["149765"],"URL":"https:\/\/doi.org\/10.1023\/a:1005088429206","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}