{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171127},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023770","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:11:10Z","timestamp":1132395070000},"page":"227-241","source":"Crossref","is-referenced-by-count":8,"title":["Plausibility logic"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Lehmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Alan Ross Anderson and Nuel D. Belnap, Jr. Entailment, The Logic of Relevance and Necessity, volume 1. Princeton University Press, 1975."},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Arnon Avron. Simple consequence relations. Information and Computation, 92:105\u2013139,1991.","journal-title":"Information and Computation"},{"key":"17_CR3","first-page":"439","volume-title":"Theoretical foundations for non-monotonic reasoning in expert systems","author":"D. M. Gabbay","year":"1985","unstructured":"Dov M. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In Krzysztof R. Apt, editor, Proc. of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems, pages 439\u2013457, La Colle-sur-Loup, France, October 1985. Springer-Verlag."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"17_CR5","unstructured":"Jean-Yves Girard. Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989."},{"issue":"1\u20132","key":"17_CR6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1\u20132):167\u2013207, July 1990.","journal-title":"Artificial Intelligence"},{"key":"17_CR7","volume-title":"What does a conditional knowledge base entail?","author":"D. Lehmann","year":"1989","unstructured":"Daniel Lehmann. What does a conditional knowledge base entail? In Ron Brachman and Hector Levesque, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, May 1989. Morgan Kaufmann."},{"key":"17_CR8","first-page":"1","volume-title":"Volume 346, Lecture Notes in Artificial Intelligence","author":"D. Makinson","year":"1988","unstructured":"David Makinson. General theory of cumulative inference. In M. Reinfrank, J. de Kleer, M. L. Ginsberg, and E. Sandewall, editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, pages 1\u201318, Grassau, Germany, June 1988. Springer Verlag. Volume 346, Lecture Notes in Artificial Intelligence."},{"key":"17_CR9","unstructured":"David Makinson. General patterns in nonmonotonic reasoning. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 2, Nonmonotonic and Uncertain Reasoning. Oxford University Press, due 1991. in preparation."},{"key":"17_CR10","volume-title":"Oxford Logic Guides","author":"K. Segerberg","year":"1982","unstructured":"Krister Segerberg. Classical Propositional Operators. Oxford Logic Guides. Clarendon Press, Oxford, 1982."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023770.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:32Z","timestamp":1607550632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023770"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0023770","relation":{},"subject":[]}}