{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:55:19Z","timestamp":1759146919926},"reference-count":53,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"DOI":"10.1093\/logcom\/exw024","type":"journal-article","created":{"date-parts":[[2016,8,20]],"date-time":"2016-08-20T00:18:48Z","timestamp":1471652328000},"page":"exw024","source":"Crossref","is-referenced-by-count":2,"title":["A bimodal perspective on possibility semantics"],"prefix":"10.1093","author":[{"given":"Johan van","family":"Benthem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Bezhanishvili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wesley H.","family":"Holliday","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,8,18]]},"reference":[{"key":"2016081917183160000_exw024v1.1","doi-asserted-by":"crossref","unstructured":"Artemov, S. N. Davoren J. M. and Nerode. A. N. Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05. Mathematical Sciences Institute, Cornell University, 1997.","DOI":"10.21236\/ADA344355"},{"key":"2016081917183160000_exw024v1.2","first-page":"357","article-title":"Semantic construction of intuitionistic logic.","volume":"19","author":"Beth.","year":"1956","journal-title":"Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen,"},{"key":"2016081917183160000_exw024v1.3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010577628486"},{"key":"2016081917183160000_exw024v1.4","unstructured":"Bezhanishvili G. and Holliday. W. H. Locales, nuclei, and Dragalin frames. In Advances in Modal Logic, Vol. 11. Beklemishev, L. Demri, S. and M\u00e1t\u00e9, A. eds, College Publications, forthcoming."},{"key":"2016081917183160000_exw024v1.5","doi-asserted-by":"crossref","unstructured":"Blackburn, P. de Rijke M. and Venema. Y. Modal Logic. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"2016081917183160000_exw024v1.6","doi-asserted-by":"publisher","DOI":"10.1007\/BF02429840"},{"key":"2016081917183160000_exw024v1.7","unstructured":"Carnahan. D. Some Properties Related to Compactness in Topological Spaces. PhD Thesis, University of Arkansas, 1973."},{"key":"2016081917183160000_exw024v1.8","doi-asserted-by":"crossref","unstructured":"Chagrov A. and Zakharyaschev. M. Modal Logic. Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"2016081917183160000_exw024v1.9","doi-asserted-by":"crossref","unstructured":"Chellas. B. Modal Logic: An Introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"2016081917183160000_exw024v1.10","unstructured":"Ciardelli. I. A. Inquisitive semantics and intermediate logics. Master\u2019s Thesis, University of Amsterdam, 2009. ILLC Master of Logic Thesis Series MoL-2009-11."},{"key":"2016081917183160000_exw024v1.11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06025-5_36"},{"key":"2016081917183160000_exw024v1.12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485047"},{"key":"2016081917183160000_exw024v1.13","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121259"},{"key":"2016081917183160000_exw024v1.14","doi-asserted-by":"crossref","unstructured":"Fischer Servi. G. Semantics for a class of intuitionistic modal calculi. In Italian Studies in the Philosophy of Science, Chiara, M. L. D. ed., pp. 59\u201372. D. Reidel Publishing Company, 1980.","DOI":"10.1007\/978-94-009-8937-5_5"},{"key":"2016081917183160000_exw024v1.15","unstructured":"Gabbay, D. M. Kurucz, A. Wolter F. and Zakharyaschev. M. Many-Dimensional Modal Logics: Theory and Applications, Vol. 148 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, 2003."},{"key":"2016081917183160000_exw024v1.16","unstructured":"Gentzen. G. \u00dcber das Verh\u00e4ltnis zwischen intuitionistischer und klassischer Arithmetik. Mathematische Annalen, 1933. Later published as [1]."},{"key":"2016081917183160000_exw024v1.17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01565428"},{"key":"2016081917183160000_exw024v1.18","doi-asserted-by":"publisher","DOI":"10.1007\/BF02015371"},{"key":"2016081917183160000_exw024v1.19","doi-asserted-by":"crossref","unstructured":"Givant S. and Halmos. P. Introduction to Boolean Algebras. Springer, 2009.","DOI":"10.1007\/978-0-387-68436-9_2"},{"key":"2016081917183160000_exw024v1.20","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer.","volume":"15","author":"Glivenko.","year":"1929","journal-title":"Bull. Acad. des Sci. de Belgique"},{"key":"2016081917183160000_exw024v1.21","first-page":"39","article-title":"Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls.","volume":"4","author":"G\u00f6del.","year":"1933","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"2016081917183160000_exw024v1.22","first-page":"34","article-title":"Zur intuitionistischen Arithmetik und Zahlentheorie.","volume":"4","author":"G\u00f6del.","year":"1933","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"2016081917183160000_exw024v1.23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00652069"},{"key":"2016081917183160000_exw024v1.24","unstructured":"Hansen. H. H. Monotonic modal logics. Master\u2019s Thesis, University of Amsterdam, 2003. LLC Prepublication Series PP-2003-24."},{"key":"2016081917183160000_exw024v1.25","unstructured":"Harrison-Trainor. M. First-order possibility models and finitary completeness proofs. UC Berkeley Working Paper in Logic and the Methodology of Science, 2016. http:\/\/escholarship.org\/uc\/item\/8ht6w3kk."},{"key":"2016081917183160000_exw024v1.26","unstructured":"Harrison-Trainor. M. Worldizations of possibility models. UC Berkeley Working Paper in Logic and the Methodology of Science, 2016. http:\/\/escholarship.org\/uc\/item\/881757qn."},{"key":"2016081917183160000_exw024v1.27","first-page":"313","article-title":"Partiality and adjointness in modal logic.","volume-title":"Advances in Modal Logic","volume":"Vol. 10,","author":"Holliday.","year":"2014"},{"key":"2016081917183160000_exw024v1.28","unstructured":"Holliday. W. H. Possibility frames and forcing for modal logic. UC Berkeley Working Paper in Logic and the Methodology of Science, 2015. http:\/\/escholarship.org\/uc\/item\/5462j5b6."},{"key":"2016081917183160000_exw024v1.29","unstructured":"Holliday. W. H. On the modal logic of subset and superset: tense logic over Medvedev frames. Studia Logica, forthcoming."},{"key":"2016081917183160000_exw024v1.30","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00258426","article-title":"Interval semantics for tense logic: some remarks.","volume":"8","author":"Humberstone.","year":"1979","journal-title":"Journal of Philosophical Logic"},{"key":"2016081917183160000_exw024v1.31","doi-asserted-by":"publisher","DOI":"10.1007\/BF00293423"},{"key":"2016081917183160000_exw024v1.32","unstructured":"Jech. T. J. The Axiom of Choice. Dover, 2008."},{"key":"2016081917183160000_exw024v1.33","doi-asserted-by":"crossref","unstructured":"Kamp. H. Events, instants and temporal reference. In Semantics from Different Points of View, B\u00e4uerle, R. Egli, U. and von Stechow, A. eds, pp. 376\u2013418. Springer, 1979.","DOI":"10.1007\/978-3-642-67458-7_24"},{"key":"2016081917183160000_exw024v1.34","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.06.004"},{"key":"2016081917183160000_exw024v1.35","doi-asserted-by":"crossref","unstructured":"Kripke. S. A. Semantical analysis of intuitionistic logic I. In Formal Systems and Recursive Functions, Crossley J. and Dummett, M. eds, pp. 92\u2013130. North-Holland Publishing Company, 1965.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"2016081917183160000_exw024v1.36","doi-asserted-by":"publisher","DOI":"10.2307\/2268135"},{"key":"2016081917183160000_exw024v1.37","first-page":"857","article-title":"Interpretation of logical formulas by means of finite problems.","volume":"7","author":"Medvedev.","year":"1966","journal-title":"Soviet Mathematics Doklady"},{"key":"2016081917183160000_exw024v1.38","doi-asserted-by":"publisher","DOI":"10.1007\/BF00405383"},{"key":"2016081917183160000_exw024v1.39","unstructured":"Rodenburg. P. Intuitionistic Correspondence Theory. PhD Thesis, University of Amsterdam, 1986."},{"key":"2016081917183160000_exw024v1.40","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF00262866","article-title":"Intervals and tenses.","volume":"9","author":"R\u00f6per.","year":"1980","journal-title":"Journal of Philosophical Logic"},{"key":"2016081917183160000_exw024v1.41","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370370"},{"key":"2016081917183160000_exw024v1.42","first-page":"360","article-title":"Logic of infinite problems and Kripke models on atomic semilattices of sets.","volume":"20","author":"Skvortsov.","year":"1979","journal-title":"Soviet Mathematics Doklady"},{"key":"2016081917183160000_exw024v1.43","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","article-title":"Der Aussagenkalk\u00fcl und die Topologie.","volume":"31","author":"Tarski.","year":"1938","journal-title":"Fundamenta Mathematicae"},{"key":"2016081917183160000_exw024v1.44","unstructured":"Tarski. A. Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Clarendon Press, 1956. Translated by J. H. Woodger."},{"key":"2016081917183160000_exw024v1.45","doi-asserted-by":"publisher","DOI":"10.2307\/2272228"},{"key":"2016081917183160000_exw024v1.46","doi-asserted-by":"crossref","unstructured":"van Benthem. J. Points and periods. In Time, Tense and Quantifiers, Rohrer, C. ed., pp. 39\u201358. Niemeyer Verlag, 1980.","DOI":"10.1515\/9783111346069.39"},{"key":"2016081917183160000_exw024v1.47","unstructured":"van Benthem. J. Possible worlds semantics for classical logic. Technical Report ZW-8018, Department of Mathematics, Rijksuniversiteit, Groningen, 1981."},{"key":"2016081917183160000_exw024v1.48","doi-asserted-by":"crossref","unstructured":"van Benthem. J. Modal logic as a theory of information. In Logic and Reality. Essays on the Legacy of Arthur Prior, Copeland, J. ed., pp. 135\u2013186. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198240600.003.0008"},{"key":"2016081917183160000_exw024v1.49","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9408-5"},{"key":"2016081917183160000_exw024v1.50","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90059-B"},{"key":"2016081917183160000_exw024v1.51","doi-asserted-by":"publisher","DOI":"10.1007\/BF02672476"},{"key":"2016081917183160000_exw024v1.52","unstructured":"Wolter F. and Zakharyaschev. M. Intuitionistic modal logics as fragments of classical bimodal logics. In Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, Orlowska, E. ed., pp. 168\u2013183. Physica Verlag, 1999."},{"key":"2016081917183160000_exw024v1.53","unstructured":"Yamamoto. K. Modal correspondence theory for possibility semantics. UC Berkeley Working Paper in Logic and the Methodology of Science, 2016. http:\/\/escholarship.org\/uc\/item\/7t12914n."}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/5\/1353\/18492005\/exw024.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T23:58:37Z","timestamp":1718755117000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exw024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,18]]},"references-count":53,"alternative-id":["10.1093\/logcom\/exw024"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exw024","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,18]]}}}