Generalized Kripke Frames2006-11-090 PRE AI DOI:10.1007/s11225-006-9008-7OriginalOriginal request for helpShareSaveAbstract En