Descriptive complexity of real computation and probabilistic independence logic

DOI10.1145/3373718.3394773OpenAlexW3103522412WikidataQ130828892 ScholiaQ130828892MaRDI QIDQ5145662FDOQ5145662

Jan Van den Bussche, Miika Hannula, Jonni Virtema, Juha Kontinen

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.00644

zbMATH Keywords

team semanticsdescriptive complexityindependence logicreal arithmeticBlum-Shub-Smale machines

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited In (10)

• On the relation between descriptional complexity and algorithmic probability
• A parameterized view on the complexity of dependence logic
• Parameterized complexity of weighted team definability
• Parameterized complexity of propositional inclusion and independence logic
• On elementary logics for quantitative dependencies
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Temporal team semantics revisited
• Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Logics with probabilistic team semantics and the Boolean negation

This page was built for publication: Descriptive complexity of real computation and probabilistic independence logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145662)