[FOM] origins of completeness in modal logic

[Sara Negri]

Another very useful reference for the history of modal logic is:

Goldblatt, R. (2005) Mathematical modal logic: A view of its  
evolution, Handbook of the History of Logic, vol. 6, D. Gabbay and J.  
Woods (eds), Elsevier.

My recent paper "Kripke completeness revisited" (to appear in  
G.Primiero, S. Rahman (eds.),  "Acts of Knowledge - History, Philosophy
and Logic", College Publications, 2009(expected))
presents a rereading of Kripke original completeness proofs, the  
emergence of Henkin style completeness proofs for modal logic, and a  
completeness proof closer to Kripke's original proof for labelled  
sequent systems for modal logic.

http://www.helsinki.fi/~negri/gkcrev.pdf

Best regards,

Sara Negri


Academy Research Fellow,
Ph.D., Docent of Logic,
Department of Philosophy,
University of Helsinki,
http://www.helsinki.fi/~negri/