14 found
Order:
  1.  17
    The Existence Postulate and Non-Regular Systems of Modal Logic.Anjan Shukla - 1972 - Notre Dame Journal of Formal Logic 13 (3):369-378.
  2.  11
    Decision Procedures for Lewis System S1 and Related Modal Systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  19
    Consistent, Independent, and Distinct Propositions. III: Modalities in S6.Anjan Shukla - 1983 - Notre Dame Journal of Formal Logic 24:141-142.
  4.  17
    A Note on the Axiomatizations of Certain Modal Systems.Anjan Shukla - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):118-120.
  5.  15
    A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication.John Bacon & Anjan Shukla - 1966 - Journal of Symbolic Logic 31 (4):664.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    Consistent, Independent, and Distinct Propositions.Anjan Shukla - 1972 - Notre Dame Journal of Formal Logic 13 (3):399-406.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  8
    Errata: ``Decision Procedures for Lewis System $S1$ and Related Modal Systems''.Anjan Shukla - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  12
    Finite Model Property for Five Modal Calculi in the Neighbourhood of $S3$.Anjan Shukla - 1971 - Notre Dame Journal of Formal Logic 12 (1):69-74.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    A Note on Independence.Anjan Shukla - 1969 - Notre Dame Journal of Formal Logic 10 (4):410-411.
  10.  7
    A Set of Axioms for the Propositional Calculus with Implication and Non-Equivalence.Anjan Shukla - 1966 - Notre Dame Journal of Formal Logic 7 (3):281-286.
  11.  11
    A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.
  12.  5
    Zen Dust.Anjan Shukla - 1968 - Philosophy East and West 18 (4):339-340.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  5
    Consistent, Independent, and Distinct Propositions. II.Anjan Shukla - 1976 - Notre Dame Journal of Formal Logic 17 (1):135-136.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  3
    Decision Procedures for Lewis System S1 and Related Modal Systems.Anjan Shukla - 1972 - Journal of Symbolic Logic 37 (4):754-755.
    Direct download  
     
    Export citation  
     
    Bookmark