{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T00:45:32Z","timestamp":1770425132729,"version":"3.49.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"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":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1023\/a:1021204628219","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T19:56:49Z","timestamp":1048190209000},"page":"543-568","source":"Crossref","is-referenced-by-count":9,"title":["Three Dual Ontologies"],"prefix":"10.1007","volume":"31","author":[{"given":"Chris","family":"Brink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid","family":"Rewitzky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5097063_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science, Vol. III","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S. and Jung, A.: 1994, Domain theory, in S. Abramsky, D. Gabbay and T. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. III, Clarendon Press, Oxford, pp. 1-168."},{"key":"5097063_CR2","volume-title":"Universals and Scientific Realism. Vol 1: Nominalism and Realism","author":"D. Armstrong","year":"1978","unstructured":"Armstrong, D.: 1978, Universals and Scientific Realism. Vol 1: Nominalism and Realism, Cambridge Univ. Press, Cambridge."},{"key":"5097063_CR3","volume-title":"Universals and Scientific Realism. Vol 2: A Theory of Universals","author":"D. Armstrong","year":"1995","unstructured":"Armstrong, D.: 1995, Universals and Scientific Realism. Vol 2: A Theory of Universals, Cambridge Univ. Press, Cambridge."},{"key":"5097063_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511583308","volume-title":"A World of States of Affairs","author":"D. Armstrong","year":"1997","unstructured":"Armstrong, D.: 1997, A World of States of Affairs, Cambridge Univ. Press, Cambridge."},{"key":"5097063_CR5","volume-title":"The Mathematical Analysis of Logic, Being an Essay Toward a Calculus of Deductive Reasoning","author":"G. Boole","year":"1847","unstructured":"Boole, G.: 1847, The Mathematical Analysis of Logic, Being an Essay Toward a Calculus of Deductive Reasoning, Macmillan, Cambridge."},{"key":"5097063_CR6","series-title":"Studies in Logic, Language and Information","volume-title":"A Paradigm for Program Semantics: Power Stuctures and Duality","author":"C. Brink","year":"2001","unstructured":"Brink, C. and Rewitzky, I.: 2001, A Paradigm for Program Semantics: Power Stuctures and Duality, Studies in Logic, Language and Information, CSLI Publications, Stanford."},{"key":"5097063_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S. and Sankappanavar, H.: 1981, A Course in Universal Algebra, Springer-Verlag, Berlin."},{"key":"5097063_CR8","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A. and Zakharyaschev, M.: 1997, Modal Logic, Oxford Logic Guides 35, Clarendon Press, Oxford."},{"key":"5097063_CR9","series-title":"Oxford Logic Guides","volume-title":"A Study of Logics","author":"J. Cleave","year":"1994","unstructured":"Cleave, J.: 1994, A Study of Logics, Oxford Logic Guides 18, Clarendon Press, Oxford."},{"key":"5097063_CR10","volume-title":"Introduction to Lattices and Order","author":"B. Davey","year":"1990","unstructured":"Davey, B. and Priestley, H.: 1990, Introduction to Lattices and Order, Cambridge Univ. Press, Cambridge."},{"key":"5097063_CR11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(90)90097-2","volume":"75","author":"M. Droste","year":"1990","unstructured":"Droste, M. and G\u00f6bel, R.: 1990, Nondeterministic information systems and their domains, Theoret. Comput. Sci.\n75, 289-309.","journal-title":"Theoret. Comput. Sci."},{"key":"5097063_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(93)90056-Y","volume":"115","author":"A. Edalaat","year":"1993","unstructured":"Edalaat, A. and Smyth, M.: 1993, I-Categories as a framework for solving domain equations, Theoret. Comput. Sci.\n115, 77-106.","journal-title":"Theoret. Comput. Sci."},{"key":"5097063_CR13","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1-4","year":"1994","unstructured":"Gabbay, D. M., Hogger, C. J. and Robinson, J. A. (eds.): 1994, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1-4, Clarendon Press, Oxford."},{"key":"5097063_CR14","series-title":"Oxford Science Publications","volume-title":"Handbook of Logic in Computer Science","year":"1992","unstructured":"Abramsky, S., Gabbay, D. M. and Maibaum, T. S. E. (eds.): 1992-2000, Handbook of Logic in Computer Science, Oxford Science Publications, Vol. 1-5, Clarendon Press, Oxford."},{"key":"5097063_CR15","series-title":"Synthese Library","volume-title":"Handbook of Philosophical Logic","year":"1983","unstructured":"Gabbay, D. and Guenthner, F. (eds.): 1983-1989, Handbook of Philosophical Logic, Synthese Library, Vol. I-IV, Kluwer Academic Publishers, Dordrecht."},{"key":"5097063_CR16","volume-title":"Handbook of Theoretical Computer Science","year":"1990","unstructured":"van Leeuwen, J. (ed.): 1990, Handbook of Theoretical Computer Science, Vol. A-B, Elsevier, Amsterdam."},{"key":"5097063_CR17","volume-title":"Logic for Mathematicians","author":"P. Hamilton","year":"1988","unstructured":"Hamilton, P.: 1988, Logic for Mathematicians, Cambridge Univ. Press, Cambridge, revised edition.","edition":"revised edition"},{"key":"5097063_CR18","volume-title":"The Oxford Companion to Philosophy","year":"1995","unstructured":"Honderich, T. (ed.): 1995, The Oxford Companion to Philosophy, Oxford Univ. Press, Oxford."},{"key":"5097063_CR19","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"Hughes, G. and Cresswell, M.: 1996, A New Introduction to Modal Logic, Routledge and Kegan Paul, London."},{"key":"5097063_CR20","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. and Tarski, A.: 1951, Boolean algebras with operators I, Amer. J. Math.\n73, 891-939.","journal-title":"Amer. J. Math."},{"key":"5097063_CR21","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B. and Tarski, A.: 1952, Boolean algebras with operators II, Amer. J. Math.\n74, 127-167.","journal-title":"Amer. J. Math."},{"key":"5097063_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke, S.: 1959, A completeness theorem in modal logic, J. Symbolic Logic\n24, 1-14.","journal-title":"J. Symbolic Logic"},{"key":"5097063_CR23","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H. Priestley","year":"1970","unstructured":"Priestley, H.: 1970, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc.\n2, 186-190.","journal-title":"Bull. London Math. Soc."},{"issue":"3","key":"5097063_CR24","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"H. Priestley","year":"1972","unstructured":"Priestley, H.: 1972, Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc.\n24(3), 507-530.","journal-title":"Proc. London Math. Soc."},{"key":"5097063_CR25","first-page":"39","volume":"23","author":"H. Priestley","year":"1984","unstructured":"Priestley, H.: 1984, Ordered sets and duality for distributive lattices, Ann. Discrete Math. (Orders, Descriptions and Rules) 23, 39-60.","journal-title":"Ann. Discrete Math. (Orders, Descriptions and Rules)"},{"key":"5097063_CR26","unstructured":"Quine, W.: 1953, 1961, 1980, On what there is, in From a Logical Point of View, Harvard Univ. Press."},{"key":"5097063_CR27","unstructured":"Scott, D.: 1970, Outline of a mathematical theory of computations, in Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, pp. 169-176."},{"key":"5097063_CR28","doi-asserted-by":"crossref","unstructured":"Scott, D.: 1982, Domains for denotational semantics, in M. Nielson and E. Schmidt (eds.), Proceedings of ICALP 9, Lecture Notes in Comput. Sci. 140, pp. 577-613.","DOI":"10.1007\/BFb0012801"},{"key":"5097063_CR29","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/BFb0036946","volume-title":"Proceedings of ICALP 10","author":"M. Smyth","year":"1983","unstructured":"Smyth, M.: 1983, Power domains and predicate transformers: A topological view, in J. Diaz (ed.), Proceedings of ICALP 10, Lecture Notes in Comput. Sci. 154, Springer-Verlag, Berlin, pp. 662-675."},{"key":"5097063_CR30","first-page":"37","volume":"40","author":"M. Stone","year":"1936","unstructured":"Stone, M.: 1936, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc.\n40, 37-111.","journal-title":"Trans. Amer. Math. Soc."},{"key":"5097063_CR31","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"Stone,M.: 1937, Topological representations of distributive lattices and Brouwerian logics, Casopis Pro Potov\u00e1n\u00ed Mathematiky\n67, 1-25.","journal-title":"Casopis Pro Potov\u00e1n\u00ed Mathematiky"},{"key":"5097063_CR32","volume-title":"Tractatus Logico-Philosophicus","author":"L. Wittgenstein","year":"1922","unstructured":"Wittgenstein, L.: 1922, Tractatus Logico-Philosophicus, Routledge and Kegan Paul, London."},{"key":"5097063_CR33","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1006\/inco.1994.1031","volume":"110","author":"G.-Q. Zhang","year":"1994","unstructured":"Zhang, G.-Q.: 1994, A representation of SFP, Inform. and Comput.\n110, 233-263.","journal-title":"Inform. and Comput."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021204628219.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021204628219\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1021204628219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021204628219.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:39:44Z","timestamp":1752147584000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021204628219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":33,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["5097063"],"URL":"https:\/\/doi.org\/10.1023\/a:1021204628219","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}