Anjan Shukla

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
1983 J jnl
Consistent, independent, and distinct propositions. III. Modalities in S6.
Notre Dame J. Formal Log.
Anjan Shukla
1976 J jnl
Consistent, independent, and distinct propositions. II.
Notre Dame J. Formal Log.
Anjan Shukla
1973 J jnl
Errata: "Decision procedures for Lewis system S1 and related modal systems".
Notre Dame J. Formal Log.
Anjan Shukla
1972 J jnl
Consistent, independent, and distinct propositions.
Notre Dame J. Formal Log.
Anjan Shukla
1972 J jnl
The existence postulate and non-regular systems of modal logic.
Notre Dame J. Formal Log.
Anjan Shukla
1971 J jnl
Finite model property for five modal calculi in the neighbourhood of S3.
Notre Dame J. Formal Log.
Anjan Shukla
1970 J jnl
Decision procedures for Lewis system S1 and related modal systems.
Notre Dame J. Formal Log.
Anjan Shukla
1969 J jnl
A note on independence.
Notre Dame J. Formal Log.
Anjan Shukla
1967 J jnl
A note on the axiomatizations of certain modal systems.
Notre Dame J. Formal Log.
Anjan Shukla
1966 J jnl
A set of axioms for the propositional calculus with implication and non-equivalence.
Notre Dame J. Formal Log.
Anjan Shukla
1965 J jnl
A set of axioms for the propositional calculus with implication and converse non-implication.
Notre Dame J. Formal Log.
Anjan Shukla