Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic., , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 763-777. Springer, (2019)Axiomatization and computability of a variant of iteration-free PDL with fork., and . J. Log. Algebraic Methods Program., (2019)Bisimulations for Intuitionistic Temporal Logics., , , and . FLAP, 8 (8): 2265-2286 (2021)Resource Separation in Dynamic Logic of Propositional Assignments., , and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 155-170. Springer, (2019)Resource separation in dynamic logic of propositional assignments., , and . J. Log. Algebraic Methods Program., (2021)Itero: An Online Iterative Voting Application., , and . IJCAI, page 5896-5899. ijcai.org, (2022)Exploring the Jungle of Intuitionistic Temporal Logics., , , and . CoRR, (2019)Complete intuitionistic Temporal Logics for Topological dynamics., , and . J. Symb. Log., 87 (3): 995-1022 (2022)Exploring the Jungle of Intuitionistic Temporal Logics., , , and . Theory Pract. Log. Program., 21 (4): 459-492 (2021)Intuitionistic Linear Temporal Logics., , , and . ACM Trans. Comput. Log., 21 (2): 14:1-14:32 (2020)