( en | de | ru )

 

Disambiguierung von "Sedlár, Igor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Propositional Dynamic Logic with Quantification over Regular Computation Sequences.

. LFCS, Volume 13137 von Lecture Notes in Computer Science, Seite 301-315. Springer, (2022)

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.

Gundula Sedlar

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Pribicevic

Igor Yakushev

Igor Pilawski

 

Weitere Publikationen von Autoren mit dem selben Namen

Substructural epistemic logics.. J. Appl. Non Class. Logics, 25 (3): 256-285 (2015)Epistemic extensions of modal distributive substructural logics.. J. Log. Comput., 26 (6): 1787-1813 (2016)Correction to: Lambek Calculus with Conjugates., und . Stud Logica, 109 (3): 471 (2021)Iterative division in the product-free Distributive Full Non-associative Lambek Calculus.. CoRR, (2019)Almost APAL., , , und . J. Log. Comput., 33 (6): 1350-1378 (August 2023)Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)., und . J. Log. Comput., 33 (6): 1119-1121 (August 2023)Kleene Algebra With Tests for Weighted Programs.. ISMVL, Seite 111-116. IEEE, (2023)Epistemic extensions of substructural inquisitive logics., und . J. Log. Comput., 31 (7): 1820-1844 (2021)First Degree Entailment with Group Attitudes and Information Updates., , und . LORI, Volume 11813 von Lecture Notes in Computer Science, Seite 273-285. Springer, (2019)Situated Epistemic Updates., und . LORI, Volume 13039 von Lecture Notes in Computer Science, Seite 192-200. Springer, (2021)