Abstract
Conditional sentences are a key issue of logical reasoning whose full scope eludes material implication. Various authors have proposed logics based on a conditional connective gearing towards specific sentences such as counterfactuals. Unfortunately, most of such conditional logics are propositional and therefore lack expressiveness. We propose in this paper to extend such logics by means of propositional quantification.
Preview
Unable to display preview. Download preview PDF.
References
Barcan (R. C.).-A functional calculus of first order based on strict implication. Journal of Symbolic Logic 11(1), 1946, pp. 1–16.
Boutilier (C.).-Conditional logics of normality: a modal approach. Artificial Intelligence 68, 1994, pp. 87–154.
Chisholm (R.).-The contrary-to-fact conditional. Mind 55, 1946, pp. 289–307.
Chellas (B. F.).-Basic conditional logic. Journal of Philosophical Logic 4, 1975, pp. 133–153.
Chellas (B. F.).-Modal logic.-Cambridge University Press, 1980.
Church (A.).-Introduction to Mathematical Logic.-Princeton University Press, Princeton, 1956.
Delgrande (J. P.).-An approach to default reasoning based on a first-order conditional logic: revised paper. Artificial Intelligence 36, 1988, pp. 63–90.
Fine (K.).-Prepositional quantifiers in modal logic. Theoria 36, 1970, pp. 336–346.
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–1312.
Gabbay (D. M.).-Montague type semantics for modal logics with prepositional quantifiers. Zeitschr. f. math. Logik und Grundlagen d. Math. 17, 1971, pp. 245–249.
Ginsberg (M. L.).-Counterfactuals. Artificial Intelligence 30, 1986, pp. 35–79.
Goodman (N.).-Fact, Fiction and Forecast.-Harvard University Press, Cambridge MA, 1955.
Kleene (S. C.).-Mathematical Logic.-J. Wiley and Sons, New York, 1967.
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–412.
Lewis (D.).-Counterfactuals.-Harvard University Press, Cambridge MA, 1973.
Makinson (D.).-A normal modal calculus between T and S4 without the finite model property, Journal of Symbolic Logic 34, 1969, pp. 35–38.
Nute (D.).-Topics in Conditional Logic. In: Philosophical studies series in philosophy.-Reidel, Dordrecht, 1980.
Nute (D.).-Conditional logic. In: Handbook of Philosophical Logic, Ed. by Gabbay (D.) and Guenthner (F.), chap. 8, pp. 387–439.-Reidel, Dordrecht, 1984.
Prior (A. N.).-Past, Present and Future.-Clarendon Press, Oxford, 1967.
Stalnaker (R. C.).-A Theory of Conditionals. In: Studies in Logical Theory, Ed. by Rescher (N.), pp. 98–112.-Basil Blackwell, Oxford, 1968. Reprinted in: Ifs, Ed. by Harper (W. L.), Stalnaker (R. C.), and Pearce (G.), pp. 41–55. Reidel, Dordrecht, 1980.
Stalnaker (R. C.).-A Defense of Conditional Excluded Middle. In: Ifs, Ed. by Harper (W. L.), Stalnaker (R. C.), and Pearce (G.), pp. 87–104.-Basil Blackwell, Oxford, 1980.
Takeuti (G.).-Proof Theory.-North Holland, Amsterdam, 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Besnard, P., Guinnebault, JM., Mayer, E. (1997). Propositional quantification for conditional logic. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035622
Download citation
DOI: https://doi.org/10.1007/BFb0035622
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive