( en | de | ru )

 

Disambiguation of "Virtema, Jonni"

Author of the publication

copydeleteadd this publication to your clipboard
The Expressive Power of Modal Dependence Logic.

, , , and . Advances in Modal Logic, page 294-312. College Publications, (2014)

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.

Jonni Fock

 

Other publications of authors with the same name

Complexity of validity for propositional dependence logics.. GandALF, volume 161 of EPTCS, page 18-31. (2014)Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity., , , , and . CoRR, (2020)Polyteam Semantics., , and . CoRR, (2017)Computing Repairs Under Functional and Inclusion Dependencies via Argumentation., , , and . CoRR, (2023)Descriptive complexity of real computation and probabilistic independence logic., , , and . LICS, page 550-563. ACM, (2020)Logics with Probabilistic Team Semantics and the Boolean Negation., , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 665-680. Springer, (2023)On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic., , , and . CSL, volume 183 of LIPIcs, page 27:1-27:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL., , and . FoIKS, volume 14589 of Lecture Notes in Computer Science, page 275-286. Springer, (2024)Approximation and dependence via multiteam semantics., , , , and . Ann. Math. Artif. Intell., 83 (3-4): 297-320 (2018)On Quantified Propositional Logics and the Exponential Time Hierarchy., , , and . GandALF, volume 226 of EPTCS, page 198-212. (2016)