Slawomir Solecki

1. Abstract approach to finite Ramsey theory and a self-dual Ramsey theorem
   2011/04/20 by Slawomir Solecki, Solecki, Slawomir · 1 citation
   Mathematics · #05C55 #05D10 #Combinatorics (math.CO) #FOS: Mathematics #math.CO #msc:05C55 #msc:05D10
2. Abstract approach to Ramsey theory and Ramsey theorems for finite trees
   2012/10/02 by Sławomir Solecki, Slawomir Solecki, Solecki, Slawomir · 1 citation
   Computer Science · Mathematics · #05C55 #05D10 #Advanced Topology and Set Theory #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Mathematics #Limits and Structures in Graph Theory #Logic (math.LO) #math.CO #math.LO #msc:05C55 #msc:05D10
3. Logics for Epistemic Actions: Completeness, Decidability, Expressivity
   2022/03/13 by Alexandru Baltag, Lawrence S. Moss, Baltag, Alexandru +4 · 1 citation
   Computer Science · Mathematics · #03B42 #68T27 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #I.2.4 #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #acm:03B42 #acm:68T27 #cs.LO #math.LO #msc:03B42 #msc:68T27