|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||Abstract:||
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  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
checked on Mar 21, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.