Intuitionistic axiomatizations for bounded extension Kripke models
Mohammad Ardeshir, Wim Ruitenburg, Saeed SalehiVolume:
124
Year:
2003
Language:
english
Pages:
19
DOI:
10.1016/s0168-0072(03)00058-7
File:
PDF, 286 KB
english, 2003