( en | de | ru )

 

Disambiguierung von "Rybakov, Mikhail N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Complexity function and complexity of validity of modal and superintuitionistic propositional logics.

, und . J. Log. Comput., 33 (7): 1566-1595 (Oktober 2023)

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.

n n n

Aleksej Rybakov

Mikhail Salzmann

Mikhail Dobrynin

Mikhail Karnevskiy

 

Weitere Publikationen von Autoren mit dem selben Namen

On complexity of propositional linear-time temporal logic with finitely many variables., und . SAICSIT, Seite 313-316. ACM, (2018)Complexity of finite-variable fragments M of EXPTIME-complete logics.. J. Appl. Non Class. Logics, 17 (3): 359-382 (2007)How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics., und . Advances in Modal Logic, Seite 71-82. King's College Publications, (2002)Recursive enumerability and elementary frame definability in predicate modal logic., und . CoRR, (2019)Complexity of propositional Linear-time Temporal Logic with finitely many variables., und . CoRR, (2017)Complexity of intuitionistic propositional logic and its fragments.. J. Appl. Non Class. Logics, 18 (2-3): 267-292 (2008)Complexity of finite-variable fragments of products with K., und . J. Log. Comput., 31 (2): 426-443 (2021)Complexity of finite-variable fragments of products with non-transitive modal logics., und . J. Log. Comput., 32 (5): 853-870 (2022)Complexity function and complexity of validity of modal and superintuitionistic propositional logics., und . J. Log. Comput., 33 (7): 1566-1595 (Oktober 2023)A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames., und . Advances in Modal Logic, Seite 531-539. College Publications, (2018)