![](/img/cover-not-exists.png)
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
D.P Skvortsov, V.B ShehtmanVolume:
63
Year:
1993
Language:
english
Pages:
33
DOI:
10.1016/0168-0072(93)90210-5
File:
PDF, 2.21 MB
english, 1993