{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T19:31:27Z","timestamp":1761939087277,"version":"build-2065373602"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.1007\/bf01620621","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T17:14:27Z","timestamp":1114881267000},"page":"125-136","source":"Crossref","is-referenced-by-count":30,"title":["Presheaf semantics and independence results for some non-classical first-order logics"],"prefix":"10.1007","volume":"29","author":[{"given":"Silvio","family":"Ghilardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01630811","volume":"29","author":"G. Corsi","year":"1990","unstructured":"Corsi, G., Ghilardi, S.: Directed frames. Arch. Math. Logic29, 53\u201367 (1990)","journal-title":"Arch. Math. Logic"},{"issue":"no. 117\u2013118","key":"CR2","first-page":"69","volume":"30","author":"G.G. Gerla","year":"1987","unstructured":"Gerla, G.G.: Transformational semantics for first order logic. Logique Anal., Nuovo Ser.30, no. 117\u2013118, pp. 69\u201379 (1987)","journal-title":"Logique Anal., Nuovo Ser."},{"key":"CR3","unstructured":"Ghilardi, S.: Incompleteness results in Kripke semantics. (Manuscript, 1989)"},{"key":"CR4","series-title":"Lect. Notes Math., Vol. 1348","first-page":"130","volume-title":"Categorical algebra and its applications. Proceedings Louvain-La-Neuve 1987","author":"S. Ghilardi","year":"1988","unstructured":"Ghilardi, S., Meloni, G.C.: Modal and tense predicate logic: models in presheaves and categorical conceptualization, In: Borceux, F. (ed.) Categorical algebra and its applications. Proceedings Louvain-La-Neuve 1987. Lect. Notes Math., Vol. 1348, pp. 130\u2013142. Berlin Heidelberg New York Tokyo: Springer 1988"},{"key":"CR5","volume-title":"An introduction to modal logic","author":"E.J. Lemmon","year":"1977","unstructured":"Lemmon, E.J.: An introduction to modal logic. Blackwell, Oxford (1977)"},{"key":"CR6","volume-title":"Lect. Notes Math., Vol. 611","author":"M. Makkai","year":"1977","unstructured":"Makkai, M., Reyes, G.E.: First order categorical logic. (Lect. Notes Math., Vol. 611). Berlin Heidelberg New York: Springer 1977"},{"key":"CR7","first-page":"41","volume":"15","author":"H. Ono","year":"1983","unstructured":"Ono, H.: Model extension theorem and Craig's interpolation theorem for intermediate predicate logics. Rep. Math. Logic15, 41\u201358 (1983)","journal-title":"Rep. Math. Logic"},{"key":"CR8","unstructured":"Shehtman, V.B., Skvortsov, D.P.: Semantics for non-classical first order predicate logics. Proceedings of the Summer School and Conference on Mathematical Logic, Chaika (Bulgaria), 13\u201323 September 1988 (to appear)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01620621.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01620621\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01620621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T18:30:37Z","timestamp":1557253837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01620621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF01620621"],"URL":"https:\/\/doi.org\/10.1007\/bf01620621","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}