Switch to: References

Add citations

You must login to add citations.
  1. Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  • A survey of the life of Hugh MacColl (1837-1909).Michael Astroh, Ivor Grattan-Guinness & Stephen Read - 2001 - History and Philosophy of Logic 22 (2):81-98.
    The Scottish logician Hugh MacColl is well known for his innovative contributions to modal and nonclassical logics. However, until now little biographical information has been available about his academic and cultural background, his personal and professional situation, and his position in the scientific community of the Victorian era. The present article reports on a number of recent findings.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Russell and his sources for non-classical logics.Irving H. Anellis - 2009 - Logica Universalis 3 (2):153-218.
    My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   5 citations