:  Kripke S
:  A completeness theorem in modal logic
:  
:  1959
:  
:  Journal of Symbolic Logic
() :  24
:  Kripke S. A completeness theorem in modal logic // Journal of Symbolic Logic. 1959. 24. P. 1 14.
:   ( )
:  
:  
:  



: 6055, : 0, : 0.


© 2007.