Anjan Shukla

Available identifiers

zbMath Open shukla.anjanMaRDI QIDQ1153892

List of research outcomes

Publication	Date of Publication	Type
Consistent, independent, and distinct propositions. III: Modalities in S6	1983-01-01	Paper
Consistent, independent, and distinct propositions. II	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4070820	1976-01-01	Paper
The existence postulate and non-regular systems of modal logic	1972-01-01	Paper
Consistent, independent, and distinct propositions	1972-01-01	Paper
Finite model property for five modal calculi in the neighbourhood of S3	1971-01-01	Paper
Decision procedures for Lewis' system S1 and related modal systems	1970-01-01	Paper
A note on independence	1969-01-01	Paper
A note on the axiomatizations of certain modal systems	1967-01-01	Paper
A set of axioms for the propositional calculus with implication and non- equivalence	1966-01-01	Paper
A set of axioms for the propositional calculus with implication and converse non-implication	1965-01-01	Paper

Research outcomes over time

This page was built for person: Anjan Shukla