{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:41Z","timestamp":1761611141254},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bf00370113","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T00:39:22Z","timestamp":1099442362000},"page":"195-214","source":"Crossref","is-referenced-by-count":11,"title":["Quantified extensions of canonical propositional intermediate logics"],"prefix":"10.1007","volume":"51","author":[{"given":"Silvio","family":"Ghilardi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"G. C. Chang, H. J. Keisler, Model theory, III ed. North Holland, 1990."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"D. Gabbay, Semantical investigations in Heyting's intuitionistic logic, Reidel, 1981.","DOI":"10.1007\/978-94-017-2977-2"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01620621","volume":"29","author":"S. Ghilardi","year":"1990","unstructured":"S. Ghilardi, Presheaf semantics and independence results for some non classical first order logics, Archive for Mathematical Logic 29 (1990), 125?136.","journal-title":"Archive for Mathematical Logic"},{"issue":"n.2","key":"CR4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.2307\/2274697","volume":"56","author":"S. Ghilardi","year":"1991","unstructured":"S. Ghilardi, Incompleteness results in Kripke semantics, Journal of Symbolic Logic, vol. 56, n.2 (1991) pp. 517?538.","journal-title":"Journal of Symbolic Logic"},{"key":"CR5","unstructured":"S. Ghilardi, Modalit\u00e0 e categorie, tesi di dottorato in Matematica, Universit\u00e0 degli Studi di Milano (1990)."},{"key":"CR6","first-page":"613","volume-title":"Atti degli incontri di logica matematica, vol.II","author":"S. Ghilardi","year":"1985","unstructured":"S. Ghilardi, G. Meloni, Completezza per logiche intermedie, Atti degli incontri di logica matematica, vol.II, (1985) pp. 613?620, Universit\u00e0 di Siena, Siena."},{"key":"CR7","first-page":"130","volume":"1348","author":"S. Ghilardi","year":"1988","unstructured":"S. Ghilardi, G. Meloni, Modal and tense predicate logic: models in presheaves and categorical conceptualization, Springer LNM 1348, (1988) pp. 130?142.","journal-title":"Springer LNM"},{"key":"CR8","unstructured":"S. Ghilardi, G. Meloni, Relational and topological semantics for temporal and modal predicative logic, Nuovi problemi della logica e della filosofia della scienza, vol. II, CLUEB, Bologna 1991, pp. 59?77."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"M. Makkai, G. E. Reyes, First order categorical logic, Springer LNM 611, 1977.","DOI":"10.1007\/BFb0066201"},{"key":"CR10","first-page":"41","volume":"15","author":"H. Ono","year":"1983","unstructured":"H. Ono, Model extension theorem and Craig's interpolation theorem for intermediate predicate logics, Reports on mathematical logic 15, (1983) pp. 41?58.","journal-title":"Reports on mathematical logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370113.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370113\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:29:30Z","timestamp":1585938570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992]]}},"alternative-id":["BF00370113"],"URL":"https:\/\/doi.org\/10.1007\/bf00370113","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}