Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics
Nobu-Yuki SuzukiVolume:
49
Year:
1990
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20015512
File:
PDF, 2.25 MB
english, 1990