PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Markovic, Zoran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Axiomatization of a First-order Branching Time Temporal Logic.

, , und . J. UCS, 16 (11): 1439-1451 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Markovic, Zoran
Eine Person hinzufügen mit dem Namen Markovic, Zoran
 

Weitere Publikationen von Autoren mit dem selben Namen

Logics with Generalized Measure Operators., , , und . Multiple-Valued Logic and Soft Computing, 20 (5-6): 527-555 (2013)Measures of inconsistency and defaults., , , und . Int. J. Approx. Reasoning, 51 (7): 832-845 (2010)Some preservation results for classical and intuitionistic satisfiability in Kripke models.. Notre Dame Journal of Formal Logic, 24 (3): 395-398 (1983)A Branching Time Logic with Two Types of Probability Operators., , und . SUM, Volume 6929 von Lecture Notes in Computer Science, Seite 219-232. Springer, (2011)An Axiomatization of a First-order Branching Time Temporal Logic., , und . J. UCS, 16 (11): 1439-1451 (2010)A first-order probabilistic logic with approximate conditional probabilities., , , und . Logic Journal of the IGPL, 22 (4): 539-564 (2014)A logic with approximate conditional probabilities that can model default reasoning., , und . Int. J. Approx. Reasoning, 49 (1): 52-66 (2008)On the Structure of Kripke Models of Heyting Arithmetic.. Math. Log. Q., (1993)A probabilistic approach to default reasoning., , und . NMR, Seite 335-341. (2004)Probability Logics - Probability-Based Formalization of Uncertain Reasoning, , und . Springer, (2016)