Switch to: References

Add citations

You must login to add citations.
  1. Making Theorem-Proving in Modal Logic Easy.Paul Needham - 2009 - In Lars-Göran Johansson, Jan Österberg & Rysiek Śliwiński (eds.), Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel. Uppsala: Dept. Of Philosophy, Uppsala University. pp. 187-202.
    A system for the modal logic K furnishes a simple mechanical process for proving theorems.
    Download  
     
    Export citation  
     
    Bookmark  
  • From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics.Fangfang Tang - 2019 - History and Philosophy of Logic 40 (1):63-80.
    Wittgenstein’s N-operator is a ‘primitive sign’ which shows every complex proposition is the result of the truth-functional combination of a finite number of component propositions, and thus provid...
    Download  
     
    Export citation  
     
    Bookmark   1 citation