Order:
  1.  28
    A P‐Adic Probability Logic.Angelina Ilić‐Stepić, Zoran Ognjanović, Nebojša Ikodinović & Aleksandar Perović - 2012 - Mathematical Logic Quarterly 58 (4-5):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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  21
    A P-Adic Probability Logic.Angelina Illic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic & Aleksandar Perovic - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  8
    A Propositional Linear Time Logic with Time Flow Isomorphic to Ω2.Bojan Marinković, Zoran Ognjanović, Dragan Doder & Aleksandar Perović - 2014 - Journal of Applied Logic 12 (2):208-229.