27 citations · 50 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Multi-Structural Games and Beyond
Marco Carmosino, Ronald Fagin, Neil Immerman +3
Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeuc…
cs.IT2023
Towards a Unification of Logic and Information Theory
Luis A. Lastras, Barry Trager, Jonathan Lenchner +5
Today, the vast majority of the world's digital information is represented using the fundamental assumption, introduced by Claude Shannon in 1948, that ``...the semantic aspects of…