Probabilistic Extensions of Various Logical Systems
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 8)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030529536, 9783030529543
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some New Probability Operators

2020 ◽  
pp. 143-163
Author(s):  
Zoran Marković ◽  
Miodrag Rašković
Keyword(s):  
Probability Operators

Logics with Probability Operators

2020 ◽  
pp. 1-35
Author(s):  
Zoran Ognjanović ◽  
Angelina Ilić-Stepić
Keyword(s):  
Probability Operators

Justification Logics with Probability Operators

2020 ◽  
pp. 215-234
Author(s):  
Ioannis Kokkinis ◽  
Nenad Savić ◽  
Thomas Studer
Keyword(s):  
Probability Operators

Probabilistic Temporal Logics

2020 ◽  
pp. 71-108
Author(s):  
Dragan Doder ◽  
Aleksandar Perović
Keyword(s):  
Temporal Logics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document