55 citations · 134 across the 26 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014★ 10 cited
Changing a semantics: opportunism or courage?
H. Andréka, J. F. A. K. van Benthem, N. Bezhanishvili +1
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so,…
math.LO2014★ 6 cited
Duality and universal models for the meet-implication fragment of IPC
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool +1
In this paper we investigate the fragment of intuitionistic logic which only uses conjunction (meet) and implication, using finite duality for distributive lattices and universal m…