Article PDF
Avoid common mistakes on your manuscript.
References
R. A. Bull,That all normal extensions of S4.3 have the finite model property,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 12 (1966), pp. 341–344.
Dov Gabbay,A logic that is complete for neighbourhood frames but not complete for Kripke frames, Bar-Ilal University, Israel, unpublished, 1974.
M. Gerson,The inadequacy of the neighbourhood semantics for modal logic,Journal of Symbolic Logic, to appear.
M. Gerson,A neighbourhood frame for T with no equivalent relational frame,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, to appear.
M. Gerson,A comparatice study of modal propositional semantics, Ph. D. Dissertation, Simon Fraser University, 1974.
Author information
Authors and Affiliations
Additional information
This paper was written with partial support from the National Research Council of Canada (Operating award A. 3024).
Allatum est die 10 Maii 1975
Rights and permissions
About this article
Cite this article
Gerson, M.S. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Stud Logica 34, 333–342 (1975). https://doi.org/10.1007/BF02121664
Issue Date:
DOI: https://doi.org/10.1007/BF02121664