Intuitionistic propositional probability logic

Ilić‐Stepić, Anelina; Knežević, Mateja; Ognjanović, Zoran

doi:10.1002/malq.202100052

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The concrete semantics of the modality can be defined in two ways. First, using a modal language with Kripke semantics where the measure is defined on the set of states as done in, e.g., [17,10,11] for qualitative probabilities and in [24] for the quantitative ones. Second, employing a two-layered formalism (cf.…”

Section: Introductionmentioning

confidence: 99%

Two-layered logics for paraconsistent probabilities

Bílková¹,

Frittella²,

Kozhemiachenko³

et al. 2023

Preprint

View full text Add to dashboard Cite

We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz [0, 1]-valued logic with Baaz △ operator and the Belnap-Dunn logic. The first logic Pr L 2 △ (introduced in [7]) formalises a 'two-valued' approach where each event φ has independent positive and negative measures that stand for, respectively, the likelihoods of φ and ¬φ. The second logic 4Pr L △ that we introduce here corresponds to 'four-valued' probabilities. There, φ is equipped with four measures standing for pure belief, pure disbelief, conflict and uncertainty of an agent in φ. We construct faithful embeddings of 4Pr L △ and Pr L 2 △ into one another and axiomatise 4Pr L △ using a Hilber-style calculus. We also establish the decidability of both logics and provide complexity evaluations for them using an expansion of the constraint tableaux calculus for L.

show abstract