1 citations · 2 across the 3 of their papers we have counts for
1 paper · 2 filters
Petr Cintula, George Metcalfe, Naomi Tokuda
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, r…