Abstract model theory as a framework for universal logic

Logica Universalis: Towards a General Theory of Logic

Volumn , Issue , 2007, Pages 19-33

  García Matos, Marta ^a   Väänänen, Jouko ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

Abstract logic; model theoretic logic

Indexed keywords

EID: 84866941980     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-7643-8354-1_2     Document Type: Chapter

References (39)

1. Hajnal Andréka, István Németi, and Johan van Benthem. Modal languages and bounded fragments of predicate logic. J. Philos. Logic, 27(3):217-274, 1998.
2. K. Jon Barwise. Axioms for abstract model theory. Ann. Math. Logic, 7:221-265, 1974.
3. J. Barwise and S. Feferman, editors. Model-theoretic logics. Springer-Verlag, New York, 1985.
4. L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. J. Symbolic Logic, 28:43-50, 1963.
5. Garrett Birkhoff. Lattice theory. Third edition. American Mathematical Society Colloquium Publications, Vol. XXV. American Mathematical Society, Providence, R.I., 1967.
6. Andreas Blass. A game semantics for linear logic. Ann. Pure Appl. Logic, 56(1-3):183-220, 1992.
7. Xavier Caicedo. On extensions of Lωω(Q1). Notre Dame J. Formal Logic, 22(1):85-93, 1981.
8. C. C. Chang. A note on the two cardinal problem. Proc. Amer. Math. Soc., 16:1148-1155, 1965.
9. C. C. Chang. Modal model theory. In Cambridge Summer School in Mathematical Logic (Cambridge, 1971), pages 599-617. Lecture Notes in Math., Vol. 337. Springer, Berlin, 1973.
10. J. Flum. Characterizing logics. In Model-theoretic logics, Perspect. Math. Logic, pages 77-120. Springer, New York, 1985.
11. Marta García-Matos. Abstract model theory without negation. 2005. Doctoral thesis, University of Helsinki.
12. Kurt Gödel. Die vollstandigkeit der axiome des logischen funktionenkalklils. Monatshefte fur Mathematk und Physik, 37:349-360, 1930.
13. Petr Hájek. Metamathematics of fuzzy logic, volume 4 of Trends in Logic-Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 1998.
14. Lars Hansen. Formalized token models and duality in semantics: an algebraic approach. J. Symbolic Logic, 69(2):443-477, 2004.
15. Leon Henkin. Completeness in the theory of types. J. Symbolic Logic, 15:81-91, 1950.
16. Jaakko Hintikka. The principles of mathematics revisited. Cambridge University Press, Cambridge, 1996. With an appendix by Gabriel Sandu.
17. T. Hyttinen. Model theory for infinite quantifier languages. Fundamenta Mathematicae, 134:125-142, 1990.
18. Jose Iovino. On the maximality of logics with approximations. Journal of Symbolic Logic, 66(4):1909-1918, 2001.
19. Carol R. Karp. Languages with expressions of infinite length. North-Holland Publishing Co., Amsterdam, 1964.
20. H. Jerome Keisler. Logic with the quantifier "there exist uncountably many". Ann. Math. Logic, 1:1-93, 1970.
21. Saul A. Kripke. A completeness theorem in modal logic. J. Symb. Logic, 24:1-14, 1959.
22. Per Lindström. On extensions of elementary logic. Theoria, 35:1-11, 1969.
23. Steven Orey. On ω-consistency and related properties. J. Symb. Logic, 21:246-252, 1956.
24. R. Parikh and J. Väänänen. Finite information logic. Annals of Pure and Applied Logic. to appear.
25. E. L. Post. Introduction to a general theory of elementary propositions. American Journal Mathematics, 43:163-185, 1921.
26. Maarten de Rijke. A Lindström's theorem for modal logic. In Modal Logic and Process Algebra, Lecture Notes 53, pages 217-230. CSLI Publications, Stanford, 1995.
27. J. H. Schmerl. Transfer theorems and their applications to logics. In Model-theoretic logics, Perspect. Math. Logic, pages 177-209. Springer, New York, 1985.
28. A. Schmidt. Über deduktive theorien mit mehren sorten von grunddingen. Mathematische Annalen, 115:485-506, 1928.
29. D. S. Scott. A decision method for validity of sentences in two variables. J. Symbolic Logic, 27:477, 1962.
30. Joseph Sgro. Maximal logics. Proceedings of the American Mathematical Society, 63(2):291-298, 1977.
31. Saharon Shelah. Two cardinal compactness. Israel Journal of Mathematics, 9:193-198, 1971.
32. Saharon Shelah. Generalized quantifiers and compact logic. Trans. Amer. Math. Soc., 204:342-364, 1975.
33. Saharon Shelah. The pair (Nn, N0) may fail N0-compactness. In Proceedings of LC'2001, volume submitted of Lecture Notes in Logic. ASL.
34. Saharon Shelah and Jouko Väänänen. A new infinitary languages with interpolation. to appear.
35. Saharon Shelah and Jouko Väänänen. Recursive logic frames. Mathematical Logic Quarterly, to appear.
36. C. I. Steinhorn. Borel structures and measure and category logics. In Model-theoretic logics, Perspect. Math. Logic, pages 579-596. Springer, New York, 1985.
37. Leslie H. Tharp. The characterization of monadic logic. J. Symb. Log., 38(3):481-488, 1973.
38. Jouko Väänänen. Pseudo-finite model theory. Mat. Contemp., 24:169-183, 2003. 8th Workshop on Logic, Language, Informations and Computation-WoLLIC'2001 (Brasília).
39. M. Ziegler. A language for topological structures which satisfies a Lindströmtheorem. Bull. Amer. Math. Soc., 82(4):568-570, 1976.