{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:57Z","timestamp":1761611157752},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1989,3,1]],"date-time":"1989-03-01T00:00:00Z","timestamp":604713600000},"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,3]]},"DOI":"10.1007\/bf01630811","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T17:03:41Z","timestamp":1115399021000},"page":"53-67","source":"Crossref","is-referenced-by-count":16,"title":["Directed frames"],"prefix":"10.1007","volume":"29","author":[{"given":"Giovanna","family":"Corsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvio","family":"Ghilardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1002\/malq.19880340308","volume":"34","author":"G. Corsi","year":"1988","unstructured":"Corsi, G.: Quantified modal logic with rigid terms. Z. Math. Logik Grundlagen Math.34, 251\u2013259 (1988)","journal-title":"Z. Math. Logik Grundlagen Math"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Corsi, G.: A logic characterized by the class of connected models with nested domains. Stud. Logica48, (to appear) (1989)","DOI":"10.1007\/BF00370630"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2272556","volume":"37","author":"D. Gabbay","year":"1972","unstructured":"Gabbay, D.: Applications of trees to intermediate logics. J. Symb. Logic37, 135\u2013138 (1972)","journal-title":"J. Symb. Logic"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Ghilardi, S.: Presheaf semantics and independence results for some non-classical first order logics. Arch. Math. Logic29 (1990)","DOI":"10.1007\/BF01620621"},{"key":"CR5","unstructured":"Ghilardi, S.: Incompleteness results in Kripke semantics (manuscript, 1989)"},{"key":"CR6","volume-title":"A companion to modal logic","author":"G. Hughes","year":"1984","unstructured":"Hughes, G., Cresswell, M.: A companion to modal logic. London New York: Methuen 1984"},{"key":"CR7","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\/BF01630811.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01630811\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01630811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T07:22:59Z","timestamp":1586244179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01630811"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,3]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,3]]}},"alternative-id":["BF01630811"],"URL":"https:\/\/doi.org\/10.1007\/bf01630811","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,3]]}}}