| Paper
Technical Report IPM / M / TR /016 |
School of Mathematics
|
| Title: |
Intuitionistic axiomatizations for bounded extension kripke models
|
|
Author(s): |
| 1 . |
M. Ardeshir
| | 2 . |
W. Ruitenburg
| | 3 . |
S.P. Salehi
|
|
| No: |
IPM-1999-322
|
| Year: |
1999
|
| Supported by: |
IPM
|
|
| Abstract: |
|
|
|
back to top
|
