3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Parvin Safari, Saeed Salehi
Kripke frames (and models) provide a suitable semantics for sub-classical logics, for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive…