Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...
Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...
Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
A p-adic probability logicAngelina Ilić StepićFaculty <strong>of</strong> Ma<strong>the</strong>matics, BelgradeNebojša IkodinovićFaculty <strong>of</strong> Ma<strong>the</strong>matics, BelgradeZoran Ognjanović<strong>Ma<strong>the</strong>matical</strong> <strong>Institute</strong> <strong>of</strong> <strong>Serbian</strong><strong>Academy</strong> <strong>of</strong> Sciences and ArtsAleksandar PerovićFaculty <strong>of</strong> Transportation and Traffic EngineeringIn this article we present a p-adic valued probabilistic logic, denoted L Qp . The logic allows making statements suchas K r,ρ α with <strong>the</strong> intended meaning ”<strong>the</strong> probability <strong>of</strong> α belongs to <strong>the</strong> ball with <strong>the</strong> center r and <strong>the</strong> radius ρ”. Wedescribe <strong>the</strong> corresponding class <strong>of</strong> models that combine properties <strong>of</strong> <strong>the</strong> usual Kripke models and p-adic probabilities,and give sound and complete infinite axiomatic system. We prove decidability <strong>of</strong> L Qp .14