1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2012
The Rule of Global Necessitation
Samuel A. Alexander
For half a century, authors have weakened the rule of necessitation in various more or less ad hoc ways in order to make inconsistent systems consistent. More recently, necessitati…
math.LO2011
A Dichotomy in Machine Knowledge
Samuel Alexander
We show that a machine, which knows basic logic and arithmetic and basic axioms of knowledge, and which is factive (knows nothing false), can either know that it is factive, or kno…
math.LO2011★ 1 cited
Highly lopsided information and the Borel hierarchy
Samuel Alexander
In a game where both contestants have perfect information, there is a strict limit on how perfect that information can be. By contrast, when one player is deprived of all informati…