{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:03Z","timestamp":1725664143541},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572343"},{"type":"electronic","value":"9783540479826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57234-1_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:31:12Z","timestamp":1330259472000},"page":"523-528","source":"Crossref","is-referenced-by-count":1,"title":["The application of Kripke-type structures to regional development programs"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Galindo","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"Quirchmayr","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"V\u00e1zqez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"53_CR1","first-page":"234","volume-title":"Proc. of the 17th Int. Symp. on Multiple-Valued Logic","author":"M. Baaz","year":"1987","unstructured":"M. Baaz and G. Quirchmayr: The application of multiple valued logic in supporting legal decision making. In: Proc. of the 17th Int. Symp. on Multiple-Valued Logic, pp. 234\u2013248, IEEE Washington 1987."},{"key":"53_CR2","unstructured":"M. Baaz and G. Quirchmayr: Models of juridical decisions based on the concepts of possible worlds. In: Proc. of the 8th Int. Workshop on Expert Systems and their Applications, pp. 165\u2013174, EC2, Nanterre 1988."},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"B. F. Chellas: Modal Logic. Cambridge 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"53_CR4","unstructured":"F. Galindo: La distributi\u00f3n de fondos p\u00fablicos para la promocion del empleo. Principios b\u00e1sicos. Zaragoza, Seminario de Inform\u00e1tica y Derecho, Documento 3\/1992."},{"key":"53_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. A. Kripke","year":"1963","unstructured":"S. A. Kripke: Semantical analysis of modal logic I. Normal modal propositional calculi. In: Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, vol. 9\/1963, pp. 67\u201369.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"53_CR6","unstructured":"S. A. Kripke: Semantical analysis of modal logic II. Non-normal modal propositional calculi. In: J. W. Addison, L. Henkin and A.Tarski (eds.): The Theory of Models, Amsterdam 1965."},{"key":"53_CR7","doi-asserted-by":"crossref","unstructured":"N. Rescher: Many-Valued Logic. New York 1969.","DOI":"10.1007\/978-94-017-3546-9_6"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57234-1_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:10Z","timestamp":1605647410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57234-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572343","9783540479826"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-57234-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}