Jouko Väänánen
- Dependence and Independence
2012/08/27 by Erich Grädel, Grädel, Erich, Jouko Väänánen +1 · 2 citations
Computer Science · #03C80 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Dependence and Independence
2013/03/14 by Erich Grädel, Jouko Väänánen, Jouko Väänänen · 2 citations
Computer Science · #Advanced Algebra and Logic #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Stationary sets and infinitary logic
1997/06/15 by Saharon Shelah, Jouko Väänánen, Shelah, Saharon +1 · 1 citation
Mathematics · Computer Science · #Advanced Topology and Set Theory #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge
- Philosophical Uses of Categoricity Arguments
2022/04/28 by Penelope Maddy, Maddy, Penelope, Jouko Väänánen +1 · 2 citations
Arts and Humanities · Psychology · #03A05 #F.4.3 #FOS: Mathematics #Logic (math.LO) #Philosophy and Theoretical Science #Philosophy, Science, and History
- On Dependence Logic
2013/05/25 by Pietro Galliani, Galliani, Pietro, Jouko Väänánen +1 · 3 citations
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Advanced Database Systems and Queries
- Inner Models from Extended Logics: Part 1
2020/07/21 by Juliette Kennedy, Menachem Magidor, Kennedy, Juliette +3 · 3 citations
Computer Science · Mathematics · #03E45 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
- Dimension in team semantics
2023/04/06 by Lauri Hella, Hella, Lauri, Kerkko Luosto +3 · 2 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory
- Tracing Internal Categoricity
2020/05/24 by Jouko Väänánen, Väänänen, Jouko · 1 citation
Computer Science · #03C85 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- Team Semantics and Independence Notions in Quantum Physics
2021/07/22 by Samson Abramsky, Abramsky, Samson, Joni Jussi Olavi Puljujärvi +3 · 2 citations
Computer Science · Physics and Astronomy · #03C80 #81P10 #Advanced Database Systems and Queries #F.4.1 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Quantum Mechanics and Applications
- Tractability Frontier of Data Complexity in Team Semantics
2015/03/03 by Arnaud Durand, Juha Kontinen, Durand, Arnaud +5 · 1 citation
Computer Science · #03B60 #68Q60 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- On Second-order Characterizability
2012/08/25 by Tapani Hyttinen, Kaisa Kangas, Hyttinen, Tapani +3 · 1 citation
Computer Science · Mathematics · #03B15 #03C85 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis