Louwe B. Kuijer
- Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
2025/04/29 by Louwe B. Kuijer, Kuijer, Louwe, Tony Tan +5 · 4 citations
Computer Science · #03B45 (Primary) 03C40 (Secondary) #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Varieties of Distributed Knowledge
2025/05/10 by Rustam Galimullin, Louwe B. Kuijer, Galimullin, Rustam +1 · 2 citations
Computer Science · Arts and Humanities · #Logic, Reasoning, and Knowledge #Epistemology, Ethics, and Metaphysics #Distributed systems and fault tolerance