Switch to: Citations

Add references

You must login to add references.
  1. A p-adic probability logic.Angelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović & Aleksandar Perović - 2012 - Mathematical Logic Quarterly 58 (4):263-280.
    In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.
    We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as P≥sα, with the intended meaning “the probability of truthfulness of α is at least s”. We describe the corresponding class of models, which are Kripke models with a naturally arising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Logics with the Qualitative Probability Operator.Zoran Ognjanović, Aleksandar Perović & Miodrag Rašković - 2008 - Logic Journal of the IGPL 16 (2):105-120.
    The paper presents several strongly complete axiomatizations of qualitative probability within the framework of probabilistic logic. We show that in the proposed semantics qualitative probabilities are characterized by probability functions, so they also are comparative probabilities.
    Download  
     
    Export citation  
     
    Bookmark   4 citations