Abstract
It is well known that conditionals need a non-classical environment to be evaluated. In this paper, we present a formalization of conditional logic in the framework of institutions. In regarding both qualitative and probabilistic conditional logic as abstract logical systems, we investigate how they can be related to one another, on the one hand, and to the institution of propositional logic, on the other hand. In spite of substantial differences between these three logics, we find surprisingly clear formal relationships between them.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
C. Beierle and G. Kern-Isberner. Looking at probabilistic conditionals from an institutional point of view. In Proceedings of the Workshop Conditionals, Information, and Inference. Hagen, 2002.
R. Burstall and J. Goguen. The semantics of Clear, a specification language. In Proceedings of the 1979 Copenhagen Winterschool on Abstract Software Specification, volume 86 of LNCS, pages 292–332, Berlin, 1980. Springer-Verlag.
P. Calabrese. Deduction and inference using conditional logic and probability. In I. Goodman, M. Gupta, H. Nguyen, and G. Rogers, editors, Conditional Logic in Expert Systems, pages 71–100. Elsevier, North Holland, 1991.
B. De Finetti. Theory of Probability, volume 1,2. John Wiley and Sons, New York, 1974.
D. Dubois and H. Prade. Conditioning, non-monotonic logic and non-standard uncertainty models. In I. Goodman, M. Gupta, H. Nguyen, and G. Rogers, editors, Conditional Logic in Expert Systems, pages 115–158. Elsevier, North Holland, 1991.
J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95–146, January 1992.
J. A. Goguen and G. Rosu. Institution morphisms. In D. Sannella, editor, Festschrift for Rod Burstall. 2002. (to appear).
H. Herrlich and G. E. Strecker. Category theory. Allyn and Bacon, Boston, 1973.
G. Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087, 2001.
D. Lewis. Counterfactuals. Harvard University Press, Cambridge, Mass., 1973.
S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, New York, 1972.
D. Nute. Topics in Conditional Logic. D. Reidel Publishing Company, Dordrecht, Holland, 1980.
D. Sannella and A. Tarlecki. Essential comcepts for algebraic specification and program development. Formal Aspects of Computing, 9:229–269, 1997.
R. Stalnaker. A theory of conditionals. In N. Rescher, editor, Studies in Logical Theory. American Philosphical Quarterly Monograph Series, No. 2, Blackwell, Oxford, 1968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Kern-Isberner, G. (2002). Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_14
Download citation
DOI: https://doi.org/10.1007/3-540-45757-7_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44190-8
Online ISBN: 978-3-540-45757-2
eBook Packages: Springer Book Archive