Authors: Doder, Dragan
Ognjanović, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Probabilistic logics with independence and probabilistic support
First page: 25
Last page: 26
Conference: progic 2015: The Seventh Workshop on Combining Probability and Logic, 22-24 April 2015, University of Kent, Canterbury
Issue Date: 2015
Rank: M34
The main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [7] to obtain several variants of probabilistic logics by adding qualitative operators for independence and support to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discussdecidability issues.
Publisher: University of Kent

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.