Anjan Shukla

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Consistent, independent, and distinct propositions. III: Modalities in S6 Notre Dame Journal of Formal Logic	1983-01-01	Paper
Consistent, independent, and distinct propositions. II Notre Dame Journal of Formal Logic	1976-01-01	Paper
scientific article; zbMATH DE number 3489089 (Why is no real title available?)	1976-01-01	Paper
The existence postulate and non-regular systems of modal logic Notre Dame Journal of Formal Logic	1972-01-01	Paper
Consistent, independent, and distinct propositions Notre Dame Journal of Formal Logic	1972-01-01	Paper
Finite model property for five modal calculi in the neighbourhood of S3 Notre Dame Journal of Formal Logic	1971-01-01	Paper
Decision procedures for Lewis' system S1 and related modal systems Notre Dame Journal of Formal Logic	1970-01-01	Paper
A note on independence Notre Dame Journal of Formal Logic	1969-01-01	Paper
A note on the axiomatizations of certain modal systems Notre Dame Journal of Formal Logic	1967-01-01	Paper
A set of axioms for the propositional calculus with implication and non- equivalence Notre Dame Journal of Formal Logic	1966-01-01	Paper
A set of axioms for the propositional calculus with implication and converse non-implication Notre Dame Journal of Formal Logic	1965-01-01	Paper

Research outcomes over time

This page was built for person: Anjan Shukla