25 citations · 39 across the 12 of their papers we have counts for
1 paper · 2 filters
Alexander Steen, Christoph Benzmüller
Steen's (2018) Hintikka set properties for Church's type theory based on primitive equality are reduced to the Hintikka set properties of Brown (2007). Using this reduction, a mode…