10 citations · 22 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Polish modules over subrings of
Dexuan Hu, Sławomir Solecki
We give a method of producing a Polish module over an arbitrary subring of from an ideal of subsets of and a sequence in . The method allows us t…
cs.LO2022★ 4 cited
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
We consider dynamic versions of epistemic logic as formulated in Baltag and Moss "Logics for epistemic programs" (2004). That paper proposed a logical language (actually families o…