{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T07:20:05Z","timestamp":1649143205501},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,10,14]],"date-time":"2011-10-14T00:00:00Z","timestamp":1318550400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s11787-011-0037-2","type":"journal-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T09:21:03Z","timestamp":1318497663000},"page":"327-350","source":"Crossref","is-referenced-by-count":1,"title":["Constrained Consequence"],"prefix":"10.1007","volume":"5","author":[{"given":"Katarina","family":"Britz","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Heidema","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,14]]},"reference":[{"key":"37_CR1","volume-title":"Entailment: the logic of relevance and necessity, vol. 1","author":"A.R. Anderson","year":"1975","unstructured":"Anderson A.R., Belnap N.D.: Entailment: the logic of relevance and necessity, vol. 1. Princeton University Press, Princeton (1975)"},{"key":"37_CR2","volume-title":"Entailment: the logic of relevance and necessity, vol 2","author":"A.R. Anderson","year":"1992","unstructured":"Anderson A.R., Belnap N.D., Dunn J.M.: Entailment: the logic of relevance and necessity, vol 2. Princeton University Press, Princeton (1992)"},{"key":"37_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1093\/jigpal\/8.2.119","volume":"8","author":"O. Arieli","year":"2000","unstructured":"Arieli O., Avron A.: General patterns for nonmonotonic reasoning: from basic entailments to plausible relations. Log. J. IGPL. 8, 119\u2013148 (2000)","journal-title":"Log. J. IGPL."},{"key":"37_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"Baker A.B.: Nonmonotonic reasoning in the framework of situation calculus. Artif. Intell. 49, 5\u201323 (1991)","journal-title":"Artif. Intell."},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Beall, J., Brady, R., Dunn, J.M., Hazen, A.P., Mares, E., Meyer, R.K., Priest, G., Restall, G., Ripley, D., Slaney, J., Sylvan, R.: On the ternary relation and conditionality. J. Philos. Log. Online 7 May (2011)","DOI":"10.1007\/s10992-011-9191-5"},{"key":"37_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)"},{"key":"37_CR7","volume-title":"Handbook of Modal Logic","author":"P. Blackburn","year":"2006","unstructured":"Blackburn P., van Benthem J., Wolter F.: Handbook of Modal Logic. Elsevier, North-Holland (2006)"},{"issue":"1","key":"37_CR8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier C.: Conditional logics of normality: a modal approach. Artif. Intell. 68(1), 87\u2013154 (1994)","journal-title":"Artif. Intell."},{"key":"37_CR9","unstructured":"Britz, K., Heidema, J., Varzinczak, I.: Pertinent reasoning. In: 13th International Workshop on Nonmonotonic Reasoning (NMR) (2010)"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Preferential reasoning for modal logic. In: Proceedings of Methods for Modalities (2011)","DOI":"10.1016\/j.entcs.2011.10.006"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Proceedings 24th Australasian Conference on AI (2011)","DOI":"10.1007\/978-3-642-25832-9_50"},{"issue":"7","key":"37_CR12","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1016\/j.tics.2009.04.003","volume":"13","author":"R.M.J. Byrne","year":"2009","unstructured":"Byrne R.M.J., Johnson-Laird P.N.: \u2018If\u2019 and the problems of conditional reasoning. Trends Cogn. Sci. 13(7), 282\u2013287 (2009)","journal-title":"Trends Cogn. Sci."},{"key":"37_CR13","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s11229-008-9379-6","volume":"171","author":"J. Cantwell","year":"2009","unstructured":"Cantwell J.: Conditionals in reasoning. Synthese 171, 47\u201375 (2009)","journal-title":"Synthese"},{"key":"37_CR14","unstructured":"Castilho, M.A., Herzig, A., Varzinczak, I.: It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. In: 9th International Workshop on Nonmonotonic Reasoning (NMR) (2002)"},{"key":"37_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: an introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas B.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)"},{"key":"37_CR16","volume-title":"Introduction to Lattices and Order. Cambridge Mathematical Textbooks","author":"B.A. Davey","year":"1990","unstructured":"Davey B.A., Priestley H.A.: Introduction to Lattices and Order. Cambridge Mathematical Textbooks. Cambridge University Press, Cambridge (1990)"},{"issue":"3","key":"37_CR17","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1093\/jigpal\/8.3.265","volume":"8","author":"H. Nivelle de","year":"2000","unstructured":"de Nivelle H., Schmidt R., Hustadt U.: Resolution-based methods for modal logics. Log. J. IGPL. 8(3), 265\u2013292 (2000)","journal-title":"Log. J. IGPL."},{"key":"37_CR18","unstructured":"Dickman, M.: Large Infinitary Languages. North-Holland (1975)"},{"key":"37_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of Philosophical Logic, 2nd edn, vol 6.","author":"J.M. Dunn","year":"2002","unstructured":"Dunn J.M., Restall G.: Relevance logic. In: Gabbay, D.M., G\u00fcnthner, F (eds) Handbook of Philosophical Logic, 2nd edn, vol 6., pp. 1\u2013128. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"37_CR20","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s10992-010-9127-5","volume":"39","author":"M. Du\u017e\u00ed","year":"2010","unstructured":"Du\u017e\u00ed M.: The paradox of inference and the non-triviality of analytic information. J. Philos. Log. 39, 473\u2013510 (2010)","journal-title":"J. Philos. Log."},{"key":"37_CR21","unstructured":"Gabbay, D.M., Kurucz, A., Zakharyaschev, M., Wolter, F.: Many-dimensional modal logics: theory and applications. In: Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, North-Holland (2003)"},{"issue":"1","key":"37_CR22","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3166\/jancl.19.43-95","volume":"19","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay D.M., Schlechta K.: Roadmap for preferential logics. J. Appl. Non-Classical Log. 19(1), 43\u201395 (2009)","journal-title":"J. Appl. Non-Classical Log."},{"key":"37_CR23","volume-title":"Residuated lattices: an algebraic glimpse at substructural logics. Studies in Logic and the Foundations of Mathematics","author":"N. Galatos","year":"2007","unstructured":"Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated lattices: an algebraic glimpse at substructural logics. Studies in Logic and the Foundations of Mathematics. Elsevier, North-Holland (2007)"},{"key":"37_CR24","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-017-1754-0_6","volume-title":"Handbook of Tableau Methods","author":"R. Gor\u00e9","year":"1999","unstructured":"Gor\u00e9 R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J (eds) Handbook of Tableau Methods, pp. 297\u2013396. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"37_CR25","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1016\/j.artint.2007.04.013","volume":"171","author":"A. Herzig","year":"2007","unstructured":"Herzig A., Varzinczak I.: Metatheory of actions: beyond consistency. Artif. Intell. 171, 951\u2013984 (2007)","journal-title":"Artif. Intell."},{"key":"37_CR26","volume-title":"How we reason","author":"P.N. Johnson-Laird","year":"2006","unstructured":"Johnson-Laird P.N.: How we reason. Oxford University Press, Oxford (2006)"},{"key":"37_CR27","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s11245-008-9049-9","volume":"28","author":"P.N. Johnson-Laird","year":"2009","unstructured":"Johnson-Laird P.N., Byrne R.M.J., Girotto V.: The mental model theory of conditionals: a reply to Guy Politzer. Topoi. 28, 75\u201380 (2009)","journal-title":"Topoi."},{"key":"37_CR28","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0010-0277(99)00015-3","volume":"71","author":"P.N. Johnson-Laird","year":"1999","unstructured":"Johnson-Laird P.N., Savary F.: Illusory inferences: a novel class of erroneous deductions. Cognition 71, 191\u2013229 (1999)","journal-title":"Cognition"},{"key":"37_CR29","unstructured":"Karp, C.: Languages with Expressions of Infinite Length. North-Holland (1964)"},{"key":"37_CR30","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus S., Lehmann D., Magidor M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"37_CR31","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0004-3702(97)00038-6","volume":"97","author":"G. Lakemeyer","year":"1997","unstructured":"Lakemeyer G.: Relevance from an epistemic perspective. Artif. Intell. 97, 137\u2013167 (1997)","journal-title":"Artif. Intell."},{"key":"37_CR32","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang J., Liberatore P., Marquis P.: Propositional independence: formula-variable independence and forgetting. J. Artif. Intell. Res. 18, 391\u2013443 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"37_CR33","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Mellish, C. (ed) Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), pp. 1985\u20131991. Morgan Kaufmann Publishers (1995)"},{"key":"37_CR34","unstructured":"Lin, F., Reiter R.: Forget it! In: Proceedings of the AAAI Fall Symposium on Relevance, pp. 154\u2013159. AAAI (1994)"},{"key":"37_CR35","doi-asserted-by":"crossref","unstructured":"Makinson, D.: How to go nonmonotonic. In: Handbook of Philosophical Logic, 2nd edn, vol. 12, pp. 175\u2013278. Springer, Berlin (2005)","DOI":"10.1007\/1-4020-3092-4_3"},{"key":"37_CR36","first-page":"462","volume-title":"Entailment the logic of relevance and necessity, vol. 1","author":"R. Meyer","year":"1975","unstructured":"Meyer R.: Relevance is not reducible to modality. In: Anderson, A.R., Belnap, N.D (eds) Entailment the logic of relevance and necessity, vol. 1, pp. 462\u2013471. Princeton University Press, Princeton (1975)"},{"key":"37_CR37","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.apal.2003.11.015","volume":"127","author":"R. Meyer","year":"2004","unstructured":"Meyer R.: Ternary relations and relevant semantics. Ann. Pure Appl. Log. 127, 195\u2013217 (2004)","journal-title":"Ann. Pure Appl. Log."},{"key":"37_CR38","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511983382","volume-title":"First Steps in Modal Logic","author":"S. Popkorn","year":"1994","unstructured":"Popkorn S.: First Steps in Modal Logic. Cambridge University Press, Cambridge (1994)"},{"key":"37_CR39","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of Philosophical Logic 2nd edn, vol. 6.","author":"G. Priest","year":"2002","unstructured":"Priest G.: Paraconsistent logic. In: Gabbay, D.M., G\u00fcnthner, F. (eds) Handbook of Philosophical Logic 2nd edn, vol. 6., pp. 287\u2013393. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"37_CR40","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S1874-5857(06)80030-0","volume-title":"Handbook of the History of Logic Logic and the Modalities in the Twentieth Century, vol. 7.","author":"G. Restall","year":"2006","unstructured":"Restall G.: Relevant and substructural logics. In: Gabbay, D.M., Woods, J (eds) Handbook of the History of Logic Logic and the Modalities in the Twentieth Century, vol. 7., pp. 289\u2013398. Elsevier, North-Holland (2006)"},{"issue":"1","key":"37_CR41","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1093\/jigpal\/jzp083","volume":"19","author":"G. Robles","year":"2010","unstructured":"Robles G., M\u00e9ndez J.: A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. Log. J. IGPL. 19(1), 18\u201332 (2010)","journal-title":"Log. J. IGPL."},{"issue":"1\u20132","key":"37_CR42","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher M.: Ramification and causality. Artif. Intell. 89(1\u20132), 317\u2013364 (1997)","journal-title":"Artif. Intell."},{"key":"37_CR43","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A. Urquhart","year":"1972","unstructured":"Urquhart A.: Semantics for relevant logics. J. Symbol. Log. 37, 159\u2013169 (1972)","journal-title":"J. Symbol. Log."},{"key":"37_CR44","unstructured":"Zhang, D., Foo, N.: EPDL: A logic for causal reasoning. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI), pp. 131\u2013138. Morgan Kaufmann Publishers, Menlo Park (2001)"},{"key":"37_CR45","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.3117","volume":"40","author":"Y. Zhou","year":"2011","unstructured":"Zhou Y., Zhang Y.: A logical study of partial entailment. J. Artif. Intell. Res. 40, 25\u201356 (2011)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0037-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-011-0037-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0037-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T08:04:14Z","timestamp":1560758654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-011-0037-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,14]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["37"],"URL":"https:\/\/doi.org\/10.1007\/s11787-011-0037-2","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,14]]}}}