Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Dummett, M. A. E.
and
Lemmon, E. J.
1959.
Modal Logics Between S 4 and S 5.
Mathematical Logic Quarterly,
Vol. 5,
Issue. 14-24,
p.
250.
Harrop, Ronald
1959.
The Finite Model Property and Subsystems of Classical Propositional Calculus.
Mathematical Logic Quarterly,
Vol. 5,
Issue. 1-2,
p.
29.
Hiz, H.
1959.
Extendible sentential calculus.
Journal of Symbolic Logic,
Vol. 24,
Issue. 3,
p.
193.
Bull, R. A.
1964.
Some results for implicational calculi.
Journal of Symbolic Logic,
Vol. 29,
Issue. 1,
p.
33.
Harrop, Ronald
1965.
Formal Systems and Recursive Functions.
Vol. 40,
Issue. ,
p.
12.
Bull, R. A.
1965.
An algebraic study of Diodorean modal systems.
Journal of Symbolic Logic,
Vol. 30,
Issue. 1,
p.
58.
Bull, R. A.
1965.
A Class of Extensions of the Modal System S4 with the Finite Model Property.
Mathematical Logic Quarterly,
Vol. 11,
Issue. 2,
p.
127.
Harrop, Ronald
1965.
Some structure results for propositional calculi.
Journal of Symbolic Logic,
Vol. 30,
Issue. 3,
p.
271.
Mckay, C. G.
1968.
The decidability of certain intermediate propositional logics.
Journal of Symbolic Logic,
Vol. 33,
Issue. 2,
p.
258.
Anderson, John
1968.
Concerning the finite model property for propositional calculi.
Proceedings of the American Mathematical Society,
Vol. 19,
Issue. 5,
p.
1207.
Harrop, R.
1968.
Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966.
Vol. 50,
Issue. ,
p.
163.
Makinson, David
1969.
A normal modal calculus between T and S4 without the finite model property.
Journal of Symbolic Logic,
Vol. 34,
Issue. 1,
p.
35.
Schindler, Patrick
1970.
Tense logic for discrete future time.
The Journal of Symbolic Logic,
Vol. 35,
Issue. 1,
p.
105.
Gabbay, Dov M.
1970.
The decidability of the Kreisel-Putnam system.
Journal of Symbolic Logic,
Vol. 35,
Issue. 3,
p.
431.
Pahi, Biswambhar
1972.
A Method for Proving the Non‐Existence of Finite Characteristic Models for Implicational Calculi.
Mathematical Logic Quarterly,
Vol. 18,
Issue. 8-11,
p.
169.
Fine, Kit
1972.
Conference in Mathematical Logic — London ’70.
Vol. 255,
Issue. ,
p.
98.
Anderson, J. G.
1972.
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.
Mathematical Logic Quarterly,
Vol. 18,
Issue. 8-11,
p.
113.
Fal', A. M.
1972.
Recurrence times for certain Markov random walks.
Ukrainian Mathematical Journal,
Vol. 23,
Issue. 6,
p.
676.
Gabbay, D.M.
1973.
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971.
Vol. 74,
Issue. ,
p.
29.
Harrop, Ronald
1973.
On simple, weak and strong models of propositional calculi.
Mathematical Proceedings of the Cambridge Philosophical Society,
Vol. 74,
Issue. 1,
p.
1.