( en | de | ru )

 

Disambiguierung von "Goranko, Valentin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tableaux for Logics of Subinterval Structures over Dense Orderings.

, , , und . J. Log. Comput., 20 (1): 133-166 (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.

Valentin Markov

Valentin Köppert

Valentin Svetlichnyy

Valentin Riedl

Valentin Bottesi

 

Weitere Publikationen von Autoren mit dem selben Namen

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA., , und . Logical Methods in Computer Science, (2006)CTL with Finitely Bounded Semantics., , und . TIME, Volume 90 von LIPIcs, Seite 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees., und . J. Symb. Log., 86 (3): 1035-1065 (2021)Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature., , und . CoRR, (2020)Towards a Logic for Conditional Local Strategic Reasoning., und . LORI, Volume 11813 von Lecture Notes in Computer Science, Seite 112-125. Springer, (2019)The Modal Logic of Almost Sure Frame Validities in the Finite.. AiML, Seite 249-268. College Publications, (2020)A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle., , und . Advances in Modal Logic, Seite 407-426. College Publications, (2018)Hybrid Ockhamist Temporal Logic., und . TIME, Seite 183-188. IEEE Computer Society, (2001)Knowledge-based strategies for multi-agent teams playing against Nature., , und . Artif. Intell., (2022)State and path coalition effectivity models for logics of multi-player games., und . AAMAS, Seite 1123-1130. IFAAMAS, (2012)