{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:06:11Z","timestamp":1726412771146},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035622","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:29:25Z","timestamp":1138184965000},"page":"183-197","source":"Crossref","is-referenced-by-count":0,"title":["Propositional quantification for conditional logic"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Guinnebault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"(. C. Barcan","year":"1946","unstructured":"Barcan (R. C.).-A functional calculus of first order based on strict implication. Journal of Symbolic Logic 11(1), 1946, pp. 1\u201316.","journal-title":"Journal of Symbolic Logic"},{"key":"15_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, 1994, pp. 87\u2013154.","journal-title":"Artificial Intelligence"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1093\/mind\/LV.219.289","volume":"55","author":"(R.) Chisholm","year":"1946","unstructured":"Chisholm (R.).-The contrary-to-fact conditional. Mind 55, 1946, pp. 289\u2013307.","journal-title":"Mind"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"(. F. Chellas","year":"1975","unstructured":"Chellas (B. F.).-Basic conditional logic. Journal of Philosophical Logic 4, 1975, pp. 133\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Chellas (B. F.).-Modal logic.-Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"15_CR6","volume-title":"Introduction to Mathematical Logic","author":"(A.) Church","year":"1956","unstructured":"Church (A.).-Introduction to Mathematical Logic.-Princeton University Press, Princeton, 1956."},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","volume":"36","author":"(. P. Delgrande","year":"1988","unstructured":"Delgrande (J. P.).-An approach to default reasoning based on a first-order conditional logic: revised paper. Artificial Intelligence 36, 1988, pp. 63\u201390.","journal-title":"Artificial Intelligence"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"(K.) Fine","year":"1970","unstructured":"Fine (K.).-Prepositional quantifiers in modal logic. Theoria 36, 1970, pp. 336\u2013346.","journal-title":"Theoria"},{"key":"15_CR9","unstructured":"Friedman (N.), Halpern (J. Y.) and Koller (D.).-First-order conditional logic revisited. In: Proceedings of the thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996, pp. 1305\u20131312."},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1002\/malq.19710170128","volume":"17","author":"(. M. Gabbay","year":"1971","unstructured":"Gabbay (D. M.).-Montague type semantics for modal logics with prepositional quantifiers. Zeitschr. f. math. Logik und Grundlagen d. Math. 17, 1971, pp. 245\u2013249.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"15_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"(. L. Ginsberg","year":"1986","unstructured":"Ginsberg (M. L.).-Counterfactuals. Artificial Intelligence 30, 1986, pp. 35\u201379.","journal-title":"Artificial Intelligence"},{"key":"15_CR12","volume-title":"Fact, Fiction and Forecast","author":"(N.) Goodman","year":"1955","unstructured":"Goodman (N.).-Fact, Fiction and Forecast.-Harvard University Press, Cambridge MA, 1955."},{"key":"15_CR13","volume-title":"Mathematical Logic","author":"(. C. Kleene","year":"1967","unstructured":"Kleene (S. C.).-Mathematical Logic.-J. Wiley and Sons, New York, 1967."},{"key":"15_CR14","unstructured":"Katsuno (H.) and Satoh (K.).-A unified view of consequence relation, belief revision and conditional logic. In: Proceedings of the twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), 1991, pp. 406\u2013412."},{"key":"15_CR15","volume-title":"Counterfactuals","author":"(D.) Lewis","year":"1973","unstructured":"Lewis (D.).-Counterfactuals.-Harvard University Press, Cambridge MA, 1973."},{"key":"15_CR16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2270978","volume":"34","author":"(D.) Makinson","year":"1969","unstructured":"Makinson (D.).-A normal modal calculus between T and S4 without the finite model property, Journal of Symbolic Logic 34, 1969, pp. 35\u201338.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR17","volume-title":"Philosophical studies series in philosophy","author":"(D.) Nute","year":"1980","unstructured":"Nute (D.).-Topics in Conditional Logic. In: Philosophical studies series in philosophy.-Reidel, Dordrecht, 1980."},{"key":"15_CR18","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/978-94-009-6259-0_8","volume-title":"Handbook of Philosophical Logic","author":"(D.) Nute","year":"1984","unstructured":"Nute (D.).-Conditional logic. In: Handbook of Philosophical Logic, Ed. by Gabbay (D.) and Guenthner (F.), chap. 8, pp. 387\u2013439.-Reidel, Dordrecht, 1984."},{"key":"15_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"(. N. Prior","year":"1967","unstructured":"Prior (A. N.).-Past, Present and Future.-Clarendon Press, Oxford, 1967."},{"key":"15_CR20","first-page":"98","volume-title":"Studies in Logical Theory","author":"(. C. Stalnaker","year":"1968","unstructured":"Stalnaker (R. C.).-A Theory of Conditionals. In: Studies in Logical Theory, Ed. by Rescher (N.), pp. 98\u2013112.-Basil Blackwell, Oxford, 1968. Reprinted in: Ifs, Ed. by Harper (W. L.), Stalnaker (R. C.), and Pearce (G.), pp. 41\u201355. Reidel, Dordrecht, 1980."},{"key":"15_CR21","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-94-009-9117-0_4","volume-title":"Ifs","author":"(. C. Stalnaker","year":"1980","unstructured":"Stalnaker (R. C.).-A Defense of Conditional Excluded Middle. In: Ifs, Ed. by Harper (W. L.), Stalnaker (R. C.), and Pearce (G.), pp. 87\u2013104.-Basil Blackwell, Oxford, 1980."},{"key":"15_CR22","volume-title":"Proof Theory","author":"(G.) Takeuti","year":"1975","unstructured":"Takeuti (G.).-Proof Theory.-North Holland, Amsterdam, 1975."}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:41:11Z","timestamp":1555411271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0035622","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}