{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T10:06:28Z","timestamp":1785319588772,"version":"3.55.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T00:00:00Z","timestamp":1224633600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11229-008-9415-6","type":"journal-article","created":{"date-parts":[[2008,10,21]],"date-time":"2008-10-21T16:50:22Z","timestamp":1224607822000},"page":"207-230","source":"Crossref","is-referenced-by-count":65,"title":["From IF to BI"],"prefix":"10.1007","volume":"167","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jouko","family":"V\u00e4\u00e4n\u00e4nen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2008,10,22]]},"reference":[{"key":"9415_CR1","unstructured":"Armstrong, W. W. (1974). Dependency structures of data base relationships. In Information processing 74. Proc. IFIP Congress (pp. 580\u2013583). Netherlands: North Holland."},{"key":"9415_CR2","doi-asserted-by":"crossref","unstructured":"Biering, B., Birkedal, L., Trop-Smith, N. (2007). BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Transactions on Programming Languages and Systems, 29(5), (to appear).","DOI":"10.1145\/1275497.1275499"},{"issue":"2","key":"9415_CR3","doi-asserted-by":"crossref","first-page":"673","DOI":"10.2307\/2695036","volume":"66","author":"P. Cameron","year":"2001","unstructured":"Cameron P., Hodges W. (2001) Some combinatorics of imperfect information. Journal of Symbolic Logic 66(2): 673\u2013684","journal-title":"Journal of Symbolic Logic"},{"key":"9415_CR4","volume-title":"Combinatory logic. Volume 1, studies in logic and the foundations of mathematics","author":"H.B. Curry","year":"1958","unstructured":"Curry H.B., Feys R. (1958) Combinatory logic. Volume 1, studies in logic and the foundations of mathematics. Netherlands, North Holland"},{"key":"9415_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H.A. (2002) Introduction to lattices and order (2nd ed). Cambridge University Press, Cambridge","edition":"2"},{"issue":"6","key":"9415_CR6","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R. Fagin","year":"1977","unstructured":"Fagin R. (1977) Functional dependencies in a relational data base and propositional logic. IBM Journal of Research and Development 21(6): 543\u2013544","journal-title":"IBM Journal of Research and Development"},{"key":"9415_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard J.-Y. (1987) Linear logic. Theoretical Computer Science 50: 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"9415_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin L. (1950) Completeness in the theory of types. Journal of Symbolic Logic 15: 81\u201391","journal-title":"Journal of Symbolic Logic"},{"key":"9415_CR9","unstructured":"Henkin, L. (1961). Some remarks on infinitely long formulas. In Infinitistic methods. Proc. symposium on foundations of mathematics (pp. 167\u2013183). Pergamon."},{"key":"9415_CR10","volume-title":"The principles of mathematics revisited","author":"J. Hintikka","year":"1998","unstructured":"Hintikka J. (1998) The principles of mathematics revisited. Cambridge University Press, Cambridge"},{"issue":"3","key":"9415_CR11","doi-asserted-by":"crossref","first-page":"404","DOI":"10.2178\/bsl\/1182353895","volume":"8","author":"J. Hintikka","year":"2002","unstructured":"Hintikka J. (2002) Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. Bulletin of Symbolic Logic 8(3): 404\u2013423","journal-title":"Bulletin of Symbolic Logic"},{"key":"9415_CR12","first-page":"571","volume-title":"Logic, methodology and philosophy of science VIII","author":"J. Hintikka","year":"1989","unstructured":"Hintikka J., Sandu G. et al (1989) Informational independence as a semantical phenomenon. In: Fenstad J.E. (eds) Logic, methodology and philosophy of science VIII. Elsevier, London, pp 571\u2013589"},{"key":"9415_CR13","volume-title":"Handbook of logic and language","author":"J. Hintikka","year":"1996","unstructured":"Hintikka J., Sandu G. (1996) Game-theoretical semantics. In: van Benthem J., ter Meulen A. (eds) Handbook of logic and language. Elsevier, London"},{"issue":"4","key":"9415_CR14","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W. Hodges","year":"1997","unstructured":"Hodges W. (1997a) Compositional semantics for a language of imperfect information. Logic Journal of the IGPL 5(4): 539\u2013563","journal-title":"Logic Journal of the IGPL"},{"key":"9415_CR15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-63246-8_4","volume-title":"Structures in logic and computer science. Lecture notes in computer science (Vol. 1261)","author":"W. Hodges","year":"1997","unstructured":"Hodges W. (1997b) Some strange quantifiers. In: Mycielski G.R.J., Salomaa A. (eds) Structures in logic and computer science. Lecture notes in computer science (Vol. 1261). Springer, New York, pp 51\u201365"},{"key":"9415_CR16","unstructured":"Lang, S. (1964). Algebraic numbers. Addison-Wesley."},{"key":"9415_CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"F.W. Lawvere","year":"1969","unstructured":"Lawvere F.W. (1969) Adjointness in foundations. Dialectica 23: 281\u2013296","journal-title":"Dialectica"},{"key":"9415_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P. Lindstr\u00f6m","year":"1969","unstructured":"Lindstr\u00f6m P. (1969) On extensions of elementary logic. Theoria 35: 1\u201311","journal-title":"Theoria"},{"key":"9415_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner R. (1977) Fully abstract models of typed lambda-calculi. Theoretical Computer Science 4: 1\u201322","journal-title":"Theoretical Computer Science"},{"key":"9415_CR20","volume-title":"Foundations for programming languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell J.C. (1996) Foundations for programming languages. MIT Press, USA"},{"issue":"4","key":"9415_CR21","doi-asserted-by":"crossref","first-page":"1597","DOI":"10.2307\/2694964","volume":"66","author":"W.P.R. Mitchell","year":"2001","unstructured":"Mitchell W.P.R., Simmons H. (2001) Monoid based semantics for linear formulas. Journal of Symbolic Logic 66(4): 1597\u20131619","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9415_CR22","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn P.W., Pym D.J. (1999) The logic of bunched implications. Bulletin of Symbolic Logic 5(2): 215\u2013244","journal-title":"Bulletin of Symbolic Logic"},{"key":"9415_CR23","first-page":"39","volume-title":"Handbook of logic in computer science (Vol. 5)","author":"A. Pitts","year":"2000","unstructured":"Pitts A. (2000) Categorical logic. In: Abramsky S., Gabbay D., Maibaum T. (eds) Handbook of logic in computer science (Vol. 5). Oxford University Press, Oxford, pp 39\u2013128"},{"key":"9415_CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin G.D. (1977) LCF considered as a programming language. Theoretical Computer Science 5: 223\u2013255","journal-title":"Theoretical Computer Science"},{"key":"9415_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The semantics and proof theory of the logic of bunched implications. Applied logic series (Vol. 26)","author":"D.J. Pym","year":"2002","unstructured":"Pym D.J. (2002) The semantics and proof theory of the logic of bunched implications. Applied logic series (Vol. 26). Kluwer, Netherlands"},{"key":"9415_CR26","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.tcs.2003.11.020","volume":"315","author":"D.J. Pym","year":"2004","unstructured":"Pym D.J., O\u2019Hearn P.W., Yang H. (2004) Possible worlds and resources: The semantics of BI. Theoretical Computer Science 315: 257\u2013305","journal-title":"Theoretical Computer Science"},{"key":"9415_CR27","doi-asserted-by":"crossref","unstructured":"Reynolds, J. (2002). Separation logic: A logic for shared mutable data structures. In Proc. LiCS 2002. IEEE.","DOI":"10.1109\/LICS.2002.1029817"},{"key":"9415_CR28","unstructured":"Rosenthal, K. I. (1990). Quantales and their applications. Pitman research notes in mathematics (No. 234). Longman Scientific and Technical."},{"key":"9415_CR29","unstructured":"Scott, D. S. (1969). Outline of a mathematical theory of computation. Technical Monograph PRG-2, Oxford University Computing Laboratory."},{"key":"9415_CR30","first-page":"261","volume":"1","author":"A. Tarski","year":"1936","unstructured":"Tarski A. (1936) Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1: 261\u2013405","journal-title":"Studia Philosophica"},{"key":"9415_CR31","unstructured":"Tarski, A., Vaught, R. (1956) Arithmetical extensions of relational systems. Compositio Mathematica, 81\u2013102"},{"issue":"1","key":"9415_CR32","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A. Urquhart","year":"1972","unstructured":"Urquhart A. (1972) Semantics for relevant logics. Journal of Symbolic Logic 37(1): 159\u2013169","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"9415_CR33","doi-asserted-by":"crossref","first-page":"504","DOI":"10.2307\/2687796","volume":"7","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2001","unstructured":"V\u00e4\u00e4n\u00e4nen J. (2001) Second-order logic and foundations of mathematics. Bulletin of Symbolic Logic 7(4): 504\u2013520","journal-title":"Bulletin of Symbolic Logic"},{"key":"9415_CR34","volume-title":"Dependence logic. London Mathematical Society student texts (Vol. 70)","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen J. (2007) Dependence logic. London Mathematical Society student texts (Vol. 70). Cambridge University Press, Cambridge"},{"key":"9415_CR35","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The formal semantics of programming languages","author":"G. Winskel","year":"1993","unstructured":"Winskel G. (1993) The formal semantics of programming languages. MIT Press, USA"},{"issue":"1","key":"9415_CR36","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D.N. Yetter","year":"1990","unstructured":"Yetter D.N. (1990) Quantales and (noncommutative) linear logic. Journal of Symbolic Logic 55(1): 41\u201364","journal-title":"Journal of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9415-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-008-9415-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9415-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T13:22:30Z","timestamp":1589030550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-008-9415-6"}},"subtitle":["A tale of dependence and separation"],"short-title":[],"issued":{"date-parts":[[2008,10,22]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9415"],"URL":"https:\/\/doi.org\/10.1007\/s11229-008-9415-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,22]]}}}