Results for 'Kadyrkul Dautov'

Order:
  1.  35
    A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1-2):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    $49.48 new   $52.55 used   $53.35 from Amazon    (collection)    View on Amazon.com
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  22
    A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    $49.48 new   $52.55 used   $53.35 from Amazon    (collection)    View on Amazon.com
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  8
    Dženan Dautović, Emir O. Filipović, and Neven Isailović, eds., Medieval Bosnia and South-East European Relations: Political, Religious, and Cultural Life at the Adriatic Crossroads. (Beyond Medieval Europe.) Leeds: Arc Humanities Press, 2019. Pp. 159. $120. ISBN: 978-1-6418-9022-9. Table of contents available online at https://arc-humanities.org/products/m-77101-100115-117-6849/. [REVIEW]Mark Whelan - 2021 - Speculum 96 (1):201-202.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark