caa a22 4500 46577931X CHVBK 20180323111951.0 cr unu---uuuuu 170327e19900901xx s 000 0 eng 10.1007/BF00370365 doi (NATIONALLICENCE)springer-10.1007/BF00370365 Suzuki Nobu Department of Mathematics, Joetsu University of Education, 943, Joetsu, Japan aut Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics [Elektronische Daten] [Nobu Suzuki] Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate logics and Kripke-type frames for intuitionistic modal prepositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given. Polish Academy of Sciences, 1990 Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 289-306 0039-3215 49:3<289 1990 49 11225 https://doi.org/10.1007/BF00370365 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00370365 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Suzuki Nobu Department of Mathematics, Joetsu University of Education, 943, Joetsu, Japan aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 289-306 0039-3215 49:3<289 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer