( en | de | ru )

 

Disambiguierung von "Fervari, Raul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Default Modal Systems as Algebraic Updates.

, , , und . DaLí, Volume 12569 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2020)

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.

Helmut Raulf

Hartwig Rauleder

Gitta Raulin

Monika Raulf

Gerhard Rauls

 

Weitere Publikationen von Autoren mit dem selben Namen

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy., und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 305-324. Springer, (2022)Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq., , und . DaLí, Volume 12005 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2019)Data-Aware Hybrid Tableaux., , und . CoRR, (2024)Axiomatizations for downward XPath on Data Trees., , , und . CoRR, (2016)Verification of dynamic bisimulation theorems in Coq., , und . J. Log. Algebraic Methods Program., (2021)Algebraic tools for default modal systems., , , und . J. Log. Comput., 33 (6): 1301-1325 (August 2023)Non-monotonic Reasoning via Dynamic Consequence., , und . WoLLIC, Volume 13468 von Lecture Notes in Computer Science, Seite 395-410. Springer, (2022)A Deontic Logic of Knowingly Complying., , , , und . AAMAS, Seite 364-372. ACM, (2023)Interpolation and Beth Definability in Default Logics., , , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 675-691. Springer, (2019)Bisimulations for Knowing How Logics., , und . Rev. Symb. Log., 15 (2): 450-486 (2022)