Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Formal similarities and differences among qualitative conditional semantics
International Journal of Approximate Reasoning
The relationship of the logic of big-stepped probabilities to standard probabilistic logics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Looking at probabilistic conditionals from an institutional point of view
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Semantical investigations into nonmonotonic and probabilistic logics
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
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.