{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:00:29Z","timestamp":1759147229729},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,10,22]],"date-time":"2016-10-22T00:00:00Z","timestamp":1477094400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2400-y","type":"journal-article","created":{"date-parts":[[2016,10,22]],"date-time":"2016-10-22T06:40:31Z","timestamp":1477118431000},"page":"191-197","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Deciding logics of linear Kripke frames with scattered end pieces"],"prefix":"10.1007","volume":"21","author":[{"given":"Arnold","family":"Beckmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Preining","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,22]]},"reference":[{"key":"2400_CR1","doi-asserted-by":"crossref","unstructured":"Baaz M, Iemhoff R (2005) On interpolation in existence logics. In: Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2\u20136, 2005. Proceedings. Springer, Berlin, pp 697\u2013711","DOI":"10.1007\/11591191_48"},{"issue":"1","key":"2400_CR2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/j.apal.2006.02.001","volume":"142","author":"M Baaz","year":"2006","unstructured":"Baaz M, Iemhoff R (2006) The skolemization of existential quantifiers in intuitionistic logic. Ann Pure Appl Log 142(1):269\u2013295","journal-title":"Ann Pure Appl Log"},{"key":"2400_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M Baaz","year":"2007","unstructured":"Baaz M, Preining N, Zach R (2007) First-order G\u00f6del logics. Ann Pure Appl Log 147:23\u201347","journal-title":"Ann Pure Appl Log"},{"issue":"1","key":"2400_CR4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.2178\/jsl\/1174668382","volume":"71","author":"A Beckmann","year":"2007","unstructured":"Beckmann A, Preining N (2007) Linear Kripke frames and G\u00f6del logics. J Symb Log 71(1):26\u201344","journal-title":"J Symb Log"},{"issue":"3","key":"2400_CR5","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.2307\/2274476","volume":"55","author":"P Minari","year":"1990","unstructured":"Minari P, Takano M, Ono H (1990) Intermediate predicate logics determined by ordinals. J Symb Log 55(3):1099\u20131124","journal-title":"J Symb Log"},{"key":"2400_CR6","doi-asserted-by":"crossref","unstructured":"Scott D (1979) Identity and existence in intuitionistic logic. In: Applications of sheaves: proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9\u201321, 1977. Springer, Berlin, pp 660\u2013696","DOI":"10.1007\/BFb0061839"},{"key":"2400_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF00370376","volume":"46","author":"M Takano","year":"1987","unstructured":"Takano M (1987) Ordered sets R and Q as bases of Kripke models. Stud Log 46:137\u2013148","journal-title":"Stud Log"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2400-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2400-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2400-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:52:28Z","timestamp":1498341148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2400-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,22]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2400"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2400-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,22]]}}}