{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T07:17:09Z","timestamp":1772090229010,"version":"3.50.1"},"reference-count":37,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,1,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We construct a conditional logic using selection models in a three-valued setting. When the selection function selects an empty set, the corresponding conditional is neither true nor false. The semantic consequence is defined as in strict-tolerant logic. The resulting logic validates conditional excluded middle without assuming that a selection function always chooses a single world, reconciling Stalnaker and Lewis. We give a labelled sequent calculus for the logic and consider three extensions of it. With the sequent calculus in hand, we show the decidability of two systems. It turns out that two extensions are strongly connexive, hyperconnexive, superconnexive and almost totally connexive. We compare our logics with other connexive conditional logics and show the philosophical consequence concerning paraconsistency and \u00fcberconsistency.<\/jats:p>","DOI":"10.1093\/logcom\/exag001","type":"journal-article","created":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T12:26:11Z","timestamp":1767443171000},"source":"Crossref","is-referenced-by-count":0,"title":["Strict-tolerant conditional logics"],"prefix":"10.1093","volume":"36","author":[{"given":"Lin","family":"Chen","sequence":"first","affiliation":[{"name":"Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University , Guangzhou 510275 ,","place":["China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuefeng","family":"Wen","sequence":"additional","affiliation":[{"name":"Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University , Guangzhou 510275 ,","place":["China"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2026,2,3]]},"reference":[{"key":"2026022601464523600_ref1","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2964651","article-title":"A propositional logic with subjunctive conditionals","volume":"27","author":"Angell","year":"1962","journal-title":"The Journal of Symbolic Logic"},{"key":"2026022601464523600_ref2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1215\/00294527-2008-010","article-title":"The logic of conditional negation","volume":"49","author":"Cantwell","year":"2008","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2026022601464523600_ref3","volume-title":"The Logical Syntax of Language","author":"Carnap","year":"2002"},{"key":"2026022601464523600_ref4","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","article-title":"Tolerant, classical, strict","volume":"41","author":"Cobreros","year":"2012","journal-title":"Journal of Philosophical Logic"},{"key":"2026022601464523600_ref5","doi-asserted-by":"crossref","first-page":"2897","DOI":"10.1007\/s10670-020-00332-2","article-title":"The evidential conditional","volume":"87","author":"Crupi","year":"2022","journal-title":"Erkenntnis"},{"key":"2026022601464523600_ref6","doi-asserted-by":"crossref","first-page":"2823","DOI":"10.1007\/s10670-024-00822-7","article-title":"Conditionals: Inferentialism explicated","volume":"90","author":"Crupi","year":"2024","journal-title":"Erkenntnis"},{"key":"2026022601464523600_ref7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-031-82994-9_6","article-title":"Inferentialism and connexivity","volume-title":"60 Years of Connexive Logic","author":"Crupi","year":"2025"},{"key":"2026022601464523600_ref8","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10992-020-09549-6","article-title":"De finettian logics of indicative conditionals part i: Trivalent semantics and validity","volume":"50","author":"\u00c9gr\u00e9","year":"2020","journal-title":"Journal of Philosophical Logic"},{"key":"2026022601464523600_ref9","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1080\/00048402.2025.2475882","article-title":"Certain and uncertain inference with indicative conditionals","volume":"103","author":"\u00c9gr\u00e9","year":"2025","journal-title":"Australasian Journal of Philosophy"},{"key":"2026022601464523600_ref10","first-page":"341","article-title":"A comparison of connexive logics","volume":"3","author":"Estrada-Gonz\u00e1lez","year":"2016","journal-title":"IfColog Journal of Logics and their Applications"},{"key":"2026022601464523600_ref11","doi-asserted-by":"crossref","DOI":"10.1002\/9781118972090.ch22","article-title":"Truthmaker semantics","volume-title":"A companion to the philosophy of language","author":"Fine","year":"2017"},{"key":"2026022601464523600_ref12","doi-asserted-by":"crossref","first-page":"1430","DOI":"10.1093\/logcom\/exae037","article-title":"Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics","volume":"34","author":"Gliozzi","year":"2024","journal-title":"Journal of Logic and Computation"},{"key":"2026022601464523600_ref13","doi-asserted-by":"crossref","first-page":"55","DOI":"10.5840\/logos-episteme20221313","article-title":"A Connexive conditional","volume":"13","author":"G\u00fcnther","year":"2022","journal-title":"Logos & Episteme"},{"key":"2026022601464523600_ref14","first-page":"141","article-title":"Strong Connexivity","volume":"1","author":"Kapsner","year":"2012","journal-title":"Thought: A Journal of Philosophy"},{"key":"2026022601464523600_ref15","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-3-662-55665-8_34","article-title":"Counterfactuals in Nelson logic","volume-title":"Logic, Rationality, and Interaction","author":"Kapsner","year":"2017"},{"key":"2026022601464523600_ref16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/jos\/ffq015","article-title":"Quantified conditionals and conditional excluded middle","volume":"28","author":"Klinedinst","year":"2011","journal-title":"Journal of Semantics"},{"key":"2026022601464523600_ref17","volume-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"2026022601464523600_ref18","doi-asserted-by":"crossref","first-page":"415","DOI":"10.2307\/2270458","article-title":"Connexive implication","volume":"31","author":"McCall","year":"1966","journal-title":"The Journal of Symbolic Logic"},{"key":"2026022601464523600_ref19","doi-asserted-by":"crossref","first-page":"462","DOI":"10.2307\/2026276","article-title":"A counterexample to modus ponens","volume":"82","author":"McGee","year":"1985","journal-title":"The Journal of Philosophy"},{"key":"2026022601464523600_ref20","first-page":"345","article-title":"Labelled sequent calculi for conditional logics: Conditional excluded middle and conditional modus ponens finally together","volume-title":"AIxIA 2022\u00a0- Advances in Artificial Intelligence","author":"Olivetti","year":"2023"},{"key":"2026022601464523600_ref21","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/1276920.1276924","article-title":"A sequent calculus and a theorem prover for standard conditional logics","volume":"8","author":"Olivetti","year":"2007","journal-title":"ACM Transactions on Computational Logic"},{"key":"2026022601464523600_ref22","first-page":"111","article-title":"From paraconsistent logic to dialetheic logic","volume-title":"Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends in Logic","author":"Omori","year":"2016"},{"key":"2026022601464523600_ref23","volume-title":"\u00dcberconsistent Logics and Dialetheism. Cr\u00edtica. Revista Hispanoamericana de Filosof\u00eda","author":"Priest","year":"2025"},{"key":"2026022601464523600_ref24","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1017\/S1755020312000056","article-title":"Conservatively extending classical logic with transparent truth","volume":"5","author":"Ripley","year":"2012","journal-title":"The Review of Symbolic Logic"},{"key":"2026022601464523600_ref25","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1093\/mind\/fzaa101","article-title":"Path semantics for indicative conditionals","volume":"131","author":"Santorio","year":"2022","journal-title":"Mind"},{"key":"2026022601464523600_ref26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.5040\/9781350039049.0014","article-title":"Folk judgments about conditional excluded middle","volume-title":"Advances in Experimental Philosophy of Logic and Mathematics","author":"Shaffer","year":"2019"},{"key":"2026022601464523600_ref27","first-page":"98","article-title":"A theory of conditionals","volume-title":"Studies in Logical Theory","author":"Stalnaker","year":"1968"},{"key":"2026022601464523600_ref28","first-page":"87","article-title":"A Defense of conditional excluded middle","volume-title":"IFS: Conditionals, Belief, Decision, Chance and Time, the University of Western Ontario Series in Philosophy of Science","author":"Stalnaker","year":"1981"},{"key":"2026022601464523600_ref29","volume-title":"Introduction to Logical Theory","author":"Strawson","year":"1952"},{"key":"2026022601464523600_ref30","first-page":"152","article-title":"The concept of truth in formalized languages","volume-title":"Logic, Semantics, Metamathematics: Papers from 1923 to 1938","author":"Tarski","year":"1956"},{"key":"2026022601464523600_ref31","first-page":"367","article-title":"Connexive modal logic","volume-title":"Advances in Modal Logic","author":"Wansing","year":"2005"},{"key":"2026022601464523600_ref32","volume-title":"The Stanford Encyclopedia of Philosophy (Summer 2023 Edition)","author":"Wansing"},{"key":"2026022601464523600_ref33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11225-023-10082-1","article-title":"Connexive logic, connexivity, and connexivism: remarks on terminology","volume":"112","author":"Wansing","year":"2023","journal-title":"Studia Logica"},{"key":"2026022601464523600_ref34","doi-asserted-by":"crossref","first-page":"567","DOI":"10.12775\/LLP.2018.018","article-title":"Connexive conditional logic","volume":"28","author":"Wansing","year":"2019","journal-title":"Part I. Logic and Logical Philosophy"},{"key":"2026022601464523600_ref35","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s11225-023-10043-8","article-title":"Stalnakerian connexive logics","volume":"112","author":"Wen","year":"2023","journal-title":"Studia Logica"},{"key":"2026022601464523600_ref36","doi-asserted-by":"crossref","DOI":"10.1007\/978-981-96-7956-0_20","article-title":"Six faces of or-to-if","volume-title":"Logic and Argumentation.","author":"Wen"},{"key":"2026022601464523600_ref37","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1111\/j.1468-0068.2010.00766.x","article-title":"Defending conditional excluded middle","volume":"44","author":"Robert","year":"2010","journal-title":"No\u00fbs"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/36\/2\/exag001\/66728490\/exag001.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/36\/2\/exag001\/66728490\/exag001.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T06:46:58Z","timestamp":1772088418000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/doi\/10.1093\/logcom\/exag001\/8456499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,1,8]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exag001","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,1]]},"published":{"date-parts":[[2026,1]]},"article-number":"exag001"}}