References
B. Dahn,Generalized Kripke-models,Bulletin de l'Académie Polonaise des Sciences,Serie des sciences math., astr. et phys., Vol. XXI (1973), pp. 1073–1077.
B. Dahn,Verallgemeinerte Kripke-Modelle, Dissertation, Humboldt-Universität zu Berlin, 1974.
M.C. Fitting,Intuitionistic logic, model theory and forcing, Amsterdam-London, 1969.
N. Rescher andA. Urquhart,Temporal logic, New York-Wien, 1971.
Author information
Authors and Affiliations
Additional information
Allatum est die 18 Februarii 1975
Rights and permissions
About this article
Cite this article
Bernhardt, K. Semantics for finitary predicate calculi. Stud Logica 35, 227–241 (1976). https://doi.org/10.1007/BF02282485
Issue Date:
DOI: https://doi.org/10.1007/BF02282485