{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:26Z","timestamp":1755220946673,"version":"3.43.0"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"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,5]]},"DOI":"10.1023\/a:1004930400566","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"395-401","source":"Crossref","is-referenced-by-count":1,"title":["Kripke Bundle Semantics and C-set Semantics"],"prefix":"10.1007","volume":"58","author":[{"given":"Eiko","family":"Isoda","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"136719_CR1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01620621","volume":"29","author":"S. Ghilardi","year":"1989","unstructured":"S. Ghilardi, (1989), Presheaf semantics and independence results for some non-classical first-order logics, Archive for Mathematical Logic\n29 125-136.","journal-title":"Archive for Mathematical Logic"},{"key":"136719_CR2","doi-asserted-by":"crossref","first-page":"517","DOI":"10.2307\/2274697","volume":"56","author":"S. Ghilardi","year":"1991","unstructured":"S. Ghilardi, (1991), Incompleteness results in Kripke semantics, Journal of Symbolic Logic\n56,517-538.","journal-title":"Journal of Symbolic Logic"},{"key":"136719_CR3","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-1-4613-0609-2_9","volume-title":"Mathematical Logic","author":"V.B. Shehtman","year":"1990","unstructured":"V.B. Shehtman and D.P. Skvortsov, 1990, Semantics of non-classical first order predicate logics, in P. Petkov, ed., Mathematical Logic, Plenum Press, New York, 105-116."},{"key":"136719_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0168-0072(93)90210-5","volume":"69","author":"D.P. Skvortsov","year":"1993","unstructured":"D.P. Skvortsov and V.B. Shehtman, (1993), Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Ann. Pure and Appl. Logic\n69, 69-101.","journal-title":"Ann. Pure and Appl. Logic"},{"key":"136719_CR5","unstructured":"D.P. Skvortsov, On finite intersections of intermediate predicate logics, To appear in: Logic and algebra, Proc. Intern. Conf. on logic and algebra in memory of R.Magari, Siena April 1994."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004930400566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004930400566\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004930400566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:18:23Z","timestamp":1754630303000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004930400566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["136719"],"URL":"https:\/\/doi.org\/10.1023\/a:1004930400566","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}