{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T17:26:13Z","timestamp":1783963573245,"version":"3.55.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T00:00:00Z","timestamp":1532304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10992-018-9471-4","type":"journal-article","created":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T02:33:56Z","timestamp":1532313236000},"page":"447-469","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Basic Intuitionistic Conditional Logic"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9179-2298","authenticated-orcid":false,"given":"Yale","family":"Weiss","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,7,23]]},"reference":[{"issue":"3","key":"9471_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF02429840","volume":"43","author":"M Bo\u017ei\u0107","year":"1984","unstructured":"Bo\u017ei\u0107, M., & Do\u0161en, K. (1984). Models for normal intuitionistic modal logics. Studia Logica, 43(3), 217\u2013245.","journal-title":"Studia Logica"},{"issue":"2","key":"9471_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1305\/ndjfl\/1093958154","volume":"6","author":"R Bull","year":"1965","unstructured":"Bull, R. (1965). A Modal extension of intuitionist logic. Notre Dame Journal of Formal Logic, 6(2), 142\u2013146.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9471_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"B Chellas","year":"1975","unstructured":"Chellas, B. (1975). Basic conditional logic. Journal of Philosophical Logic, 4 (2), 133\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"9471_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic","author":"B Chellas","year":"1980","unstructured":"Chellas, B. (1980). Modal logic. Cambridge: Cambridge University Press."},{"issue":"1","key":"9471_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K Do\u0161en","year":"1985","unstructured":"Do\u0161en, K. (1985). Models for stronger normal intuitionistic modal logics. Studia Logica, 44(1), 39\u201370.","journal-title":"Studia Logica"},{"key":"9471_CR6","volume-title":"Elements of intuitionism","author":"M Dummett","year":"1977","unstructured":"Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press."},{"issue":"4","key":"9471_CR7","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1305\/ndjfl\/1093888520","volume":"19","author":"G Fischer Servi","year":"1978","unstructured":"Fischer Servi, G. (1978). The finite model property for MIPQ and some consequences. Notre Dame Journal of Formal Logic, 19(4), 687\u2013692.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9471_CR8","volume-title":"Intuitionistic logic model theory and forcing","author":"M Fitting","year":"1969","unstructured":"Fitting, M. (1969). Intuitionistic logic model theory and forcing. Amsterdam: North-Holland Publishing Company."},{"key":"9471_CR9","unstructured":"Genovese, V., Giordano, L., Gliozzi, V., Pozzato, G. (2011). A conditional constructive logic for access control and its sequent calculus. In Br\u00fcnnler, K., & Metcalfe, G. (Eds.) Automated reasoning with analytic tableaux and related methods (pp. 164\u2013179). Berlin: Springer."},{"issue":"4","key":"9471_CR10","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1093\/logcom\/exs040","volume":"24","author":"V Genovese","year":"2014","unstructured":"Genovese, V., Giordano, L., Gliozzi, V., Pozzato, G. (2014). Logics in access control: a conditional approach. Journal of Logic and Computation, 24(4), 705\u2013762.","journal-title":"Journal of Logic and Computation"},{"key":"9471_CR11","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V. (1929). Sur quelques points de la Logique de M. Brouwer. Acad\u00e9mie Royale de Belgique Bulletin de la Classe des Sciences, 15, 183\u2013188.","journal-title":"Acad\u00e9mie Royale de Belgique Bulletin de la Classe des Sciences"},{"issue":"3","key":"9471_CR12","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1007\/s11229-011-9905-9","volume":"187","author":"R Hakli","year":"2012","unstructured":"Hakli, R., & Negri, S. (2012). Does the deduction theorem fail for modal logic? Synthese, 187(3), 849\u2013867.","journal-title":"Synthese"},{"key":"9471_CR13","unstructured":"Kripke, S. (1965). Semantical analysis of intuitionistic logic I. In Crossley, J., & Dummett, M. (Eds.) Formal systems and recursive functions (pp. 92\u2013130). Amsterdam: North-Holland Publishing Company."},{"issue":"1","key":"9471_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1111\/j.1755-2567.1971.tb00061.x","volume":"37","author":"D Lewis","year":"1971","unstructured":"Lewis, D. (1971). Completeness and decidability of three logics of counterfactual conditionals. Theoria, 37(1), 74\u201385.","journal-title":"Theoria"},{"key":"9471_CR15","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Blackwell Publishers."},{"issue":"3","key":"9471_CR16","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1305\/ndjfl\/1093870380","volume":"24","author":"E Lowe","year":"1983","unstructured":"Lowe, E. (1983). A simplification of the logic of conditionals. Notre Dame Journal of Formal Logic, 24(3), 357\u2013366.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9471_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J McKinsey","year":"1948","unstructured":"McKinsey, J., & Tarski, A. (1948). Some theorems about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic, 13(1), 1\u201315.","journal-title":"Journal of Symbolic Logic"},{"key":"9471_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in conditional logic","author":"D Nute","year":"1980","unstructured":"Nute, D. (1980). Topics in conditional logic. Dordrecht: D. Reidel Publishing Company."},{"key":"9471_CR19","volume-title":"The mathematics of metamathematics","author":"H Rasiowa","year":"1968","unstructured":"Rasiowa, H., & Sikorski, R. (1968). The mathematics of metamathematics, 2nd edn. Warsaw: PWN.","edition":"2"},{"issue":"2","key":"9471_CR20","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF02770509","volume":"48","author":"K Segerberg","year":"1989","unstructured":"Segerberg, K. (1989). Notes on conditional logic. Studia Logica, 48(2), 157\u2013168.","journal-title":"Studia Logica"},{"key":"9471_CR21","volume-title":"The proof theory and semantics of intuitionistic modal logic (PhD Thesis)","author":"A Simpson","year":"1994","unstructured":"Simpson, A. (1994). The proof theory and semantics of intuitionistic modal logic (PhD Thesis). Edinburgh: University of Edinburgh."},{"key":"9471_CR22","unstructured":"Stalnaker, R. (1968). A theory of conditionals. In Rescher, N. (Ed.) Studies in logical theory (pp. 98\u2013112). Oxford: Blackwell."},{"key":"9471_CR23","unstructured":"Williamson, T. (2010). Modal logic within counterfactual logic. In Hale, B., & Hoffmann, A. (Eds.) Modality: metaphysics, logic, and epistemology (pp. 81\u201396). Oxford: Oxford University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9471-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9471-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9471-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T19:09:46Z","timestamp":1563822586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9471-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,23]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9471"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9471-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,23]]},"assertion":[{"value":"14 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}