On the relation between intuitionistic and classical modal logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1997
Language: 
English
Appeared / Erschienen in: 
Algebra and Logic, Volume 36, S. 121-155, 1997
Pubdate / Erscheinungsdatum: 
1997
Pages / Seitenanzahl: 
26
AttachmentSize
1997-39.pdf247.42 KB