A Sahlqvist theorem for distributive modal logic:
Saved in:
Bibliographic Details
Main Author: Gehrke, Mai (Author)
Format: Book
Language:English
Published: Amsterdam Inst. for Logic, Language and Computation 2002
Series:ILLC research report and technical notes series Logic, philosophy and linguistics series ; 2002,9
Physical Description:43 S.