Authors: Ilić Stepić, Angelina 
Ognjanović, Zoran 
Perović, Aleksandar
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: The logic ILP for intuitionistic reasoning about probability
First page: 25
Last page: 26
Related Publication(s): Book of Abstracts
Conference: 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022
Issue Date: 2022
Rank: M34
URL: http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2022-Book_of_Abstracts.pdf
Abstract: 
We introduce the logic ILP suitable for intuitionistic reasoning about prob-
abilities. We use operators of the form P⩾sα with the intended meaning “It is
proven that the probability of α is at least s”. We describe the corresponding
class of models which are intuitionistic Kripke models equipped with the appro-
priate probability requirements. We give sound a axiomatic system and prove
decidability of ILP.
Keywords: Intuitionistic logic | Probability
Publisher: University Center Dubrovnik, Croatia
Project: Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC 

Show full item record

Page view(s)

19
checked on Feb 6, 2023

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons