The following pages link to Jonni Virtema (Q476185):
Displaying 41 items.
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Probabilistic team semantics (Q1647487) (← links)
- Polyteam semantics (Q1709702) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Facets of distribution identities in probabilistic team semantics (Q2296714) (← links)
- Descriptive complexity of deterministic polylogarithmic time (Q2303589) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Descriptive complexity of deterministic polylogarithmic time and space (Q2662676) (← links)
- Approximation and Dependence via Multiteam Semantics (Q2807084) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Boolean Dependence Logic and Partially-Ordered Connectives (Q2849426) (← links)
- Extended Modal Dependence Logic $\mathcal{EMDL}$ (Q2849427) (← links)
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Decidability of predicate logics with team semantics (Q4608623) (← links)
- Complexity of Propositional Logics in Team Semantic (Q4608724) (← links)
- The Expressive Power of Modal Dependence Logic (Q4636299) (← links)
- Undecidable First-Order Theories of Affine Geometries (Q4649566) (← links)
- (Q4995356) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- (Q5015279) (← links)
- (Q5079746) (← links)
- Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
- Polyteam semantics (Q5140328) (← links)
- Descriptive complexity of real computation and probabilistic independence logic (Q5145662) (← links)
- Model checking and validity in propositional and modal inclusion logics (Q5213388) (← links)
- Axiomatizing Propositional Dependence Logics (Q5351964) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5891978) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5918244) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- (Q6187072) (← links)
- Facets of Distribution Identities in Probabilistic Team Semantics (Q6311162) (← links)
- Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals (Q6545572) (← links)
- Logics with probabilistic team semantics and the Boolean negation (Q6545573) (← links)
- Computing repairs under functional and inclusion dependencies via argumentation (Q6630184) (← links)
- A remark on the expressivity of asynchronous TeamLTL and HyperLTL (Q6630200) (← links)
- Set semantics for asynchronous TeamLTL: expressivity and complexity (Q6647693) (← links)
- Temporal team semantics revisited (Q6649479) (← links)
