Jonni Virtema

Available identifiers

zbMath Open virtema.jonniWikidataQ61106785 ScholiaQ61106785MaRDI QIDQ476185

List of research outcomes

Publication	Date of Publication	Type
Parameterized complexity of propositional inclusion and independence logic	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q6187072	2024-02-05	Paper
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals	2023-03-21	Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2022-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q5079746	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5015279	2021-12-07	Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2021-12-01	Paper
Team semantics for the specification and verification of hyperproperties	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4995356	2021-06-24	Paper
Descriptive complexity of deterministic polylogarithmic time and space	2021-04-14	Paper
Descriptive complexity of real computation and probabilistic independence logic	2021-01-21	Paper
Polyteam semantics	2020-12-15	Paper
Model Checking and Validity in Propositional and Modal Inclusion Logics	2020-05-26	Paper
Descriptive complexity of deterministic polylogarithmic time	2020-03-04	Paper
Facets of distribution identities in probabilistic team semantics	2020-02-18	Paper
Model checking and validity in propositional and modal inclusion logics	2020-02-03	Paper
Characterising modal definability of team-based logics via the universal modality	2019-09-18	Paper
Facets of Distribution Identities in Probabilistic Team Semantics	2018-12-14	Paper
Approximation and dependence via multiteam semantics	2018-09-21	Paper
Probabilistic team semantics	2018-06-26	Paper
The Expressive Power of Modal Dependence Logic	2018-04-23	Paper
Polyteam semantics	2018-04-06	Paper
Complexity of Propositional Logics in Team Semantic	2018-03-22	Paper
Decidability of predicate logics with team semantics	2018-03-21	Paper
Axiomatizing Propositional Dependence Logics	2017-08-31	Paper
Boolean dependence logic and partially-ordered connectives	2017-06-30	Paper
Complexity of validity for propositional dependence logics	2017-03-16	Paper
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality	2016-09-09	Paper
Approximation and Dependence via Multiteam Semantics	2016-05-19	Paper
Characterising modal definability of team-based logics via the universal modality	2015-09-24	Paper
Complexity of Propositional Independence and Inclusion Logic	2015-09-16	Paper
Weak models of distributed computing, with connections to modal logic	2015-03-25	Paper
Weak models of distributed computing, with connections to modal logic	2014-12-05	Paper
Complexity of two-variable dependence logic and IF-logic	2014-11-28	Paper
Undecidable First-Order Theories of Affine Geometries	2014-01-08	Paper
Boolean Dependence Logic and Partially-Ordered Connectives	2013-09-17	Paper
Extended Modal Dependence Logic $\mathcal{EMDL}$	2013-09-17	Paper
Undecidable First-Order Theories of Affine Geometries	2012-11-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jonni Virtema