2005 | OriginalPaper | Chapter
Looking at Probabilistic Conditionals from an Institutional Point of View
Authors : Christoph Beierle, Gabriele Kern-Isberner
Published in: Conditionals, Information, and Inference
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We show how probabilistic logic and probabilistic conditional logic can be formalized in the framework of institutions, thereby supporting the study of structural properties of both syntax and semantics of these logics. By using the notions of institution morphism and institution embedding, the relationships between probabilistic propositional logic, probabilistic conditional logic, and the underlying two-valued propositional logic are investigated in detail, telling us, for instance, precisely how to interpret probabilistic conditionals as probabilistic facts or in a propositional setting and vice versa.