6 citations · 21 across the 13 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023★ 2 cited
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
Rineke Verbrugge
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer sci…
cs.LO2021
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames
Rineke Verbrugge
It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models i…
cs.LO2020★ 2 cited
Commonly Knowing Whether
Jie Fan, Davide Grossi, Barteld Kooi +2
This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of s…