{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:06:08Z","timestamp":1749009968930,"version":"3.41.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,5,12]],"date-time":"2016-05-12T00:00:00Z","timestamp":1463011200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11225-016-9669-9","type":"journal-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T10:39:54Z","timestamp":1463135994000},"page":"1119-1144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Game Semantics for System P"],"prefix":"10.1007","volume":"104","author":[{"given":"J.","family":"Marti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Pinosio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,12]]},"reference":[{"key":"9669_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2006.05.034","volume":"165","author":"A. Baltag","year":"2006","unstructured":"Baltag A., Smets S.: Conditional doxastic models: a qualitative approach to dynamic belief revision. Electronic Notes in Theoretical Computer Science 165, 5\u201321 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"9669_CR2","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. Artificial Intelligence 68(1), 87\u2013154 (1994)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9669_CR3","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","volume":"22","author":"J. Burgess","year":"1981","unstructured":"Burgess J.: Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic 22(1), 76\u201384 (1981)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9669_CR4","doi-asserted-by":"crossref","unstructured":"Friedman N., and J. Y. Halpern, On the complexity of conditional logics, in Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR\u201994), Morgan Kaufmann, Burlington, 1994, pp. 202\u2013213.","DOI":"10.1016\/B978-1-4832-1452-8.50115-9"},{"issue":"2","key":"9669_CR5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove A.: Two modellings for theory change. Journal of Philosophical Logic 17(2), 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"key":"9669_CR6","doi-asserted-by":"crossref","unstructured":"Hintikka, J., and G. Sandu, Game-theoretical semantics, in J. van Benthem and A. ter Meulen (ed.), Handbook of Logic and Language, 2nd edn. Elsevier, New York, 2010, pp. 415\u2013465.","DOI":"10.1016\/B978-0-444-53726-3.00008-6"},{"key":"9669_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58191-5","volume-title":"Greedoids","author":"B. Korte","year":"1991","unstructured":"Korte B., Lov\u00e1sz L., Schrader R.: Greedoids. Springer, New York (1991)"},{"issue":"1\u20132","key":"9669_CR8","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. Artificial Intelligence 44(1\u20132), 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9669_CR9","doi-asserted-by":"crossref","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 55(1), 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"9669_CR10","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"Lewis D.: Counterfactuals. Blackwell Publishers, Oxford (1973)"},{"key":"9669_CR11","unstructured":"Lorenzen, P., and K. Lorenz, Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt, 1978."},{"key":"9669_CR12","doi-asserted-by":"crossref","unstructured":"Pozzato, G. L., Conditional and Preferential Logics: Proof Methods and Theorem Proving. Vol. 208. Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam, 2010.","DOI":"10.3233\/978-1-60750-095-7-i"},{"key":"9669_CR13","doi-asserted-by":"crossref","unstructured":"Rahman, S., and T. Tulenheimo, From games to dialogues and back, in O. Majer, A.-V. Pietarinen, and T. Tulenheimo (ed.), Games: Unifying Logic, Language, and Philosophy, Springer, New York, 2009, pp. 153\u2013208.","DOI":"10.1007\/978-1-4020-9374-6_8"},{"key":"9669_CR14","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J., Models and Games, Cambridge University Press, Cambridge, 2011.","DOI":"10.1017\/CBO9780511974885"},{"key":"9669_CR15","unstructured":"Veltman, F., Logics for conditionals, PhD thesis, University of Amsterdam, Amsterdam, 1985."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9669-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9669-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9669-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9669-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:35:42Z","timestamp":1748925342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9669-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,12]]},"references-count":15,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9669"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9669-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2016,5,12]]}}}