ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
kripke bundles
Recently Published Documents
TOTAL DOCUMENTS
1
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
Studia Logica
◽
10.1007/bf00370365
◽
1990
◽
Vol 49
(3)
◽
pp. 289-306
◽
Cited By ~ 7
Author(s):
Nobu -Yuki Suzuki
Keyword(s):
Modal Logics
◽
Kripke Frames
◽
Intermediate Predicate Logics
◽
Kripke Bundles
◽
Intuitionistic Modal Logics
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close