{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:07:44Z","timestamp":1725829664445},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243115"},{"type":"electronic","value":"9783319243122"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24312-2_19","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T14:06:46Z","timestamp":1441894006000},"page":"270-286","source":"Crossref","is-referenced-by-count":10,"title":["A Standard Internal Calculus for Lewis\u2019 Counterfactual Logics"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Olivetti","sequence":"first","affiliation":[]},{"given":"Gian Luca","family":"Pozzato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications, pp. 1\u201332 (1996)","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"19_CR2","first-page":"9","volume":"4","author":"A. Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: The logic of conditional doxastic actions. Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction\u00a04, 9\u201331 (2008)","journal-title":"Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction"},{"issue":"1","key":"19_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","volume":"49","author":"O. Board","year":"2004","unstructured":"Board, O.: Dynamic interactive epistemology. Games and Econ. Behavior\u00a049(1), 49\u201380 (2004)","journal-title":"Games and Econ. Behavior"},{"issue":"1","key":"19_CR4","first-page":"87","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C.: Conditional logics of normality: a modal approach. AIJ\u00a068(1), 87\u2013154 (1994)","journal-title":"AIJ"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"B.F. Chellas","year":"1975","unstructured":"Chellas, B.F.: Basic conditional logics. Journal of Philosophical Logic\u00a04, 133\u2013153 (1975)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1305\/ndjfl\/1093634402","volume":"33","author":"I.P. Gent","year":"1992","unstructured":"Gent, I.P.: A sequent or tableaux-style system for Lewis\u2019s counterfactual logic $\\mathbb{VC}$ . Notre Dame Journal of Formal Logic\u00a033(3), 369\u2013382 (1992)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M.L. Ginsberg","year":"1986","unstructured":"Ginsberg, M.L.: Counterfactuals. Artificial Intelligence\u00a030(1), 35\u201379 (1986)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2005.06.004","volume":"168","author":"L. Giordano","year":"2005","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N.: Weak AGM postulates and strong ramsey test: A logical formalization. Artificial Intelligence\u00a0168(1-2), 1\u201337 (2005)","journal-title":"Artificial Intelligence"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Schwind, C.: Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Logic\u00a010(3) (2009)","DOI":"10.1145\/1507244.1507251"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1093\/logcom\/8.1.87","volume":"8","author":"G. Grahne","year":"1998","unstructured":"Grahne, G.: Updates and counterfactuals. J. of Logic and Computation\u00a08(1), 87\u2013117 (1998)","journal-title":"J. of Logic and Computation"},{"issue":"1-2","key":"19_CR11","doi-asserted-by":"publisher","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. Artificial Intelligence\u00a044(1-2), 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"19_CR12","unstructured":"Lamarre, P.: Etude des raisonnements non-monotones: Apports des logiques des conditionnels et des logiques modales. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse (1992)"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence\u00a055(1), 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-642-33353-8_25","volume-title":"Logics in Artificial Intelligence","author":"B. Lellmann","year":"2012","unstructured":"Lellmann, B., Pattinson, D.: Sequent Systems for Lewis\u2019 Conditional Logics. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 320\u2013332. Springer, Heidelberg (2012)"},{"key":"19_CR15","unstructured":"Lewis, D.: Counterfactuals. Basil Blackwell Ltd (1973)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer (2010)","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"19_CR17","unstructured":"Negri, S., Sbardolini, G.: Proof analysis for Lewis counterfactuals. Tech. Rep. (2014), http:\/\/www.helsinki.fi\/%7enegri\/PALC.pdf"},{"key":"19_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.: Topics in conditional logic. Reidel, Dordrecht (1980)"},{"key":"19_CR19","unstructured":"Olivetti, N., Pozzato, G.L.: A sequent calculus for Lewis logic $\\mathbb{V}$ : preliminary results. Tech. Rep. (2015), http:\/\/www.di.unito.it\/%7epozzato\/papers\/RT0115.pdf"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2273315","volume":"48","author":"H.C.M. Swart de","year":"1983","unstructured":"de Swart, H.C.M.: A gentzen- or beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics $\\mathbb{VC}$ and $\\mathbb{VCS}$ . Journal of Symbolic Logic\u00a048(1), 1\u201320 (1983)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24312-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T01:29:20Z","timestamp":1718069360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24312-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243115","9783319243122"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24312-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}