The following pages link to Anjan Shukla (Q1153892):
Displayed 11 items.
- Consistent, independent, and distinct propositions. III: Modalities in S6 (Q1153893) (← links)
- Consistent, independent, and distinct propositions. II (Q1222644) (← links)
- A set of axioms for the propositional calculus with implication and converse non-implication (Q2523882) (← links)
- A set of axioms for the propositional calculus with implication and non- equivalence (Q2526926) (← links)
- Decision procedures for Lewis' system S1 and related modal systems (Q2535236) (← links)
- A note on the axiomatizations of certain modal systems (Q2535380) (← links)
- Finite model property for five modal calculi in the neighbourhood of S3 (Q2537114) (← links)
- A note on independence (Q2543453) (← links)
- The existence postulate and non-regular systems of modal logic (Q2544389) (← links)
- Consistent, independent, and distinct propositions (Q2550379) (← links)
- (Q4070820) (← links)