Theo dõi
Jonni Virtema
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Weak models of distributed computing, with connections to modal logic
L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ...
Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012
722012
The expressive power of modal dependence logic
L Hella, K Luosto, K Sano, J Virtema
Advances in Modal Logic 2014, 2014
572014
Complexity of propositional logics in team semantics
M Hannula, J Kontinen, J Virtema, H Vollmer
ACM Trans. Comput. Log., 2018
54*2018
Approximation and dependence via multiteam semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Annals of Mathematics and Artificial Intelligence 83 (3-4), 297-320, 2018
492018
Extended Modal Dependence Logic EMDL
J Ebbing, L Hella, A Meier, JS Müller, J Virtema, H Vollmer
International Workshop on Logic, Language, Information, and Computation, 126-137, 2013
472013
Team Semantics for the Specification and Verification of Hyperproperties
A Krebs, A Meier, J Virtema, M Zimmermann
43rd International Symposium on Mathematical Foundations of Computer Science …, 2018
462018
Probabilistic team semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Foundations of Information and Knowledge Systems: 10th International …, 2018
442018
Complexity of validity for propositional dependence logics
J Virtema
Information and Computation 253, 224-236, 2017
362017
Facets of distribution identities in probabilistic team semantics
M Hannula, Å Hirvonen, J Kontinen, V Kulikov, J Virtema
European Conference on Logics in Artificial Intelligence, 304-320, 2019
342019
Descriptive complexity of real computation and probabilistic independence logic
M Hannula, J Kontinen, J Van den Bussche, J Virtema
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
262020
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
252014
Model checking and validity in propositional and modal inclusion logics
L Hella, A Kuusisto, A Meier, J Virtema
Journal of Logic and Computation 29 (5), 605-630, 2019
242019
On quantified propositional logics and the exponential time hierarchy
M Hannula, J Kontinen, M Lück, J Virtema
7th International Symposium on Games, Automata, Logics, and Formal …, 2016
222016
A team based variant of CTL
A Krebs, A Meier, J Virtema
22nd International Symposium on Temporal Representation and Reasoning, TIME …, 2015
222015
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
J Virtema, J Hofmann, B Finkbeiner, J Kontinen, F Yang
41st IARCS Annual Conference on Foundations of Software Technology and …, 2021
202021
Axiomatizing propositional dependence logics
K Sano, J Virtema
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, 2015
202015
Temporal Team Semantics Revisited
JO Gutsfeld, A Meier, C Ohrem, J Virtema
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
162022
Polyteam semantics
M Hannula, J Kontinen, J Virtema
Journal of Logic and Computation 30 (8), 1541-1566, 2020
162020
Decidability of predicate logics with team semantics
J Kontinen, A Kuusisto, J Virtema
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
16*2016
Characterising modal definability of team-based logics via the universal modality
K Sano, J Virtema
Annals of Pure and Applied Logic 170 (9), 1100-1127, 2019
15*2019
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20