{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T21:55:26Z","timestamp":1777067726954,"version":"3.51.4"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1023\/a:1004275029985","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T13:18:08Z","timestamp":1040476688000},"page":"217-274","source":"Crossref","is-referenced-by-count":350,"title":["Modal Languages and Bounded Fragments of Predicate Logic"],"prefix":"10.1007","volume":"27","author":[{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"van Benthem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"131266_CR1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01049411","volume":"4","author":"N. Alechina","year":"1995","unstructured":"Alechina, N., On a decidable generalized quantifier logic corresponding to a decidable fragment of predicate logic, Journal of Logic, Language and Information\n4(3) (1995), 177\u2013189.","journal-title":"Journal of Logic, Language and Information"},{"key":"131266_CR2","series-title":"Report","volume-title":"Modal Logics of Structured Domains","author":"N. Alechina","year":"1997","unstructured":"Alechina, N. and van Benthem, J., Modal Logics of Structured Domains, Report ML\u201393\u201302, Institute for Logic, Language and Computation, University of Amsterdam. To appear in M. de Rijke (ed.), Advances in Intensional Logic, Kluwer, Dordrecht, 1997."},{"key":"131266_CR3","first-page":"167","volume":"3","author":"N. Alechina","year":"1995","unstructured":"Alechina, N. and van Lambalgen, M., Correspondence and completeness for generalized quantifiers, Bulletin of the Interest Group in Pure and Applied Logic\n3(1995), 167\u2013190.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logic"},{"key":"131266_CR4","volume-title":"Complexity of Equations Valid in Algebras of Relations","author":"H. Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H., Complexity of Equations Valid in Algebras of Relations, D. Sc. Dissertation, Hungarian Academy of Sciences, Budapest, 1991. To appear in Annals of Pure and Applied Logic."},{"key":"131266_CR5","unstructured":"Andr\u00e9ka, H., van Benthem, J. and N\u00e9meti, I., What Makes Modal Logic Tick?, manuscript, Institute for Logic, Language and Computation, University of Amsterdam, 1992."},{"key":"131266_CR6","volume-title":"Interpolation and Definability Properties of Finite Variable Fragments","author":"H. Andr\u00e9ka","year":"1993","unstructured":"Andr\u00e9ka, H., van Benthem, J. and N\u00e9meti, I., Interpolation and Definability Properties of Finite Variable Fragments, Mathematical Institute, Hungarian Academy of Sciences, Budapest, 1993."},{"key":"131266_CR7","volume-title":"Modal Logic and the Finite Variable Hierarchy","author":"H. Andr\u00e9ka","year":"1994","unstructured":"Andr\u00e9ka, H., van Benthem, J. and N\u00e9meti, I., Modal Logic and the Finite Variable Hierarchy, manuscript, Institute for Logic, Language and Computation, University of Amsterdam, Mathematical Institute, Hungarian Academy of Sciences, Budapest, 1994."},{"key":"131266_CR8","first-page":"685","volume":"3","author":"H. Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., van Benthem, J. and N\u00e9meti, I., Back and forth between modal logic and classical logic, Bulletin of the Interest Group in Pure and Applied Logics\n3(1995A), 685\u2013720, London and Saarbruecken.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logics"},{"key":"131266_CR9","series-title":"CSLI Lecture Notes","first-page":"1","volume-title":"Modal Logic and Process Algebra","author":"H. Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., van Benthem, J. and N\u00e9meti, I., Submodel preservation theorems in finite variable fragments, in A. Ponse, M. de Rijke and Y. Venema (eds), Modal Logic and Process Algebra, CSLI Lecture Notes 53, CSLI Publications, Stanford, 1995B, pp. 1\u201311."},{"key":"131266_CR10","unstructured":"Andr\u00e9ka, H., van Benthem, J. and N\u00e9meti, I., Strong decidability and other positive results for algebras of sets of sequences, in preparation, 1996."},{"issue":"3","key":"131266_CR11","doi-asserted-by":"crossref","first-page":"970","DOI":"10.2307\/2275768","volume":"60","author":"H. Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., D\u00fcntsch, I. and N\u00e9meti, I., Expressibility of properties of relations, Journal of Symbolic Logic\n60(3) (1995), 970\u2013991.","journal-title":"Journal of Symbolic Logic"},{"key":"131266_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02121113","volume":"36","author":"H. Andr\u00e9ka","year":"1977","unstructured":"Andr\u00e9ka, H., Gergely, T. and N\u00e9meti, I., On universal algebraic construction of logics, Studia Logica\n36(1977), 9\u201347.","journal-title":"Studia Logica"},{"key":"131266_CR13","volume-title":"Crs With, and Without Substitutions","author":"H. Andr\u00e9ka","year":"1994","unstructured":"Andr\u00e9ka, H. and N\u00e9meti, I., Crs With, and Without Substitutions, manuscript, Mathematical Institute, Hungarian Academy of Sciences, Budapest, 1994."},{"key":"131266_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J., Admissible Sets and Structures, Springer Verlag, Berlin, 1975."},{"key":"131266_CR15","volume-title":"Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena","author":"J. Barwise","year":"1996","unstructured":"Barwise, J. and Moss, L., Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, CSLI Publications, Stanford, 1996."},{"key":"131266_CR16","unstructured":"van Benthem, J., Modal Correspondence Theory, dissertation, Mathematical Institute, University of Amsterdam, 1976."},{"key":"131266_CR17","volume-title":"Handbook of Philosophical Logic","author":"J. van Benthem","year":"1984","unstructured":"van Benthem, J., Correspondence theory, in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 1984."},{"key":"131266_CR18","volume-title":"Modal Logic and Classical Logic","author":"J. van Benthem","year":"1985","unstructured":"van Benthem, J., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985."},{"key":"131266_CR19","volume-title":"Language in Action","author":"J. van Benthem","year":"1991","unstructured":"van Benthem, J., Language in Action, North-Holland, Amsterdam, 1991."},{"key":"131266_CR20","series-title":"CSLI Report","volume-title":"Programming Operations that are Safe for Bisimulation","author":"J. van Benthem","year":"1993","unstructured":"van Benthem, J., Programming Operations that are Safe for Bisimulation, CSLI Report 93\u2013179, Center for the Study of Language and Information, Stanford, 1993. To appear in Studia Logica, 1997."},{"key":"131266_CR21","unstructured":"van Benthem, J., A Modal Perspective on Process Operations, manuscript, Institute for Logic, Language and Computation, University of Amsterdam, 1994A."},{"key":"131266_CR22","unstructured":"van Benthem, J., Modal Foundations for Predicate Logic, CSLI Research Report 94\u2013191, Center for the Study of Language and Information, Stanford University. To appear in E. Orlowska (ed.), Logic at Work, Memorial Volume for Helena Rasiowa, Kluwer Academic Publishers, Dordrecht, 1994B."},{"key":"131266_CR23","first-page":"241","volume-title":"Handbook of Logic in AI and Logic Programming","author":"J. van Benthem","year":"1995","unstructured":"van Benthem, J., Temporal logic, in D. Gabbay, Ch. Hogger and J. Robinson (eds), Handbook of Logic in AI and Logic Programming, Vol. 4, Oxford University Press, Oxford, 1995, pp. 241\u2013350."},{"key":"131266_CR24","volume-title":"Studies in Logic, Language and Information","author":"J. van Benthem","year":"1996","unstructured":"van Benthem, J., Exploring Logical Dynamics, in Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996."},{"key":"131266_CR25","unstructured":"van Benthem, J., Dynamic Bits and Pieces, Report LP\u201397\u201301, ILLC, University of Amsterdam."},{"issue":"4","key":"131266_CR26","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01160018","volume":"3","author":"J. van Benthem","year":"1995","unstructured":"van Benthem, J. and Bergstra, J., Logic of transition systems, Journal of Logic, Language and Information\n3(4) (1995), 247\u2013283.","journal-title":"Journal of Logic, Language and Information"},{"key":"131266_CR27","volume-title":"Model Theory","author":"C. Chang","year":"1973","unstructured":"Chang, C. and Keisler, H., Model Theory, North-Holland, Amsterdam, 1973."},{"key":"131266_CR28","unstructured":"Dawar, A., Feasible Computation Through Model Theory, dissertation, Computer Science Department, University College of Swansea, 1993."},{"key":"131266_CR29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF00542649","volume":"14","author":"K. Fine","year":"1985","unstructured":"Fine, K., Natural deduction and arbitrary objects, Journal of Philosophical Logic\n14 (1985), 57\u2013107.","journal-title":"Journal of Philosophical Logic"},{"key":"131266_CR30","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"M. Fitting","year":"1993","unstructured":"Fitting, M., Basic modal logic, in D. Gabbay, Ch. Hogger and J. Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. I, Oxford University Press, Oxford, 1993."},{"key":"131266_CR31","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-94-009-8384-7_4","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"Gabbay, D., Expressive functional completeness in tense logic, in U. M\u00f6nnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 1981, pp. 91\u2013117."},{"key":"131266_CR32","volume-title":"Intensional and Higher-Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D., Intensional and Higher-Order Modal Logic, North-Holland, Mathematics Studies 19, Amsterdam, 1975."},{"key":"131266_CR33","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-1-4613-0897-3_17","volume-title":"Mathematical Logic and Applications","author":"G. Gargov","year":"1987","unstructured":"Gargov, G., Passy, S. and Tinchev, T., Modal environment for Boolean speculations, in D. Skordev (ed.), Mathematical Logic and Applications, Plenum Press, New York, 1987, pp. 253\u2013263."},{"key":"131266_CR34","volume-title":"Logical Systems Containing Only a Finite Number of Symbols, S\u00e9minaire de Math\u00e9matiques Sup\u00e9rieures 21","author":"L. Henkin","year":"1967","unstructured":"Henkin, L., Logical Systems Containing Only a Finite Number of Symbols, S\u00e9minaire de Math\u00e9matiques Sup\u00e9rieures 21, Les Presses de l'Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, 1967, 48 pp."},{"key":"131266_CR35","volume-title":"Cylindric Algebras, Part I","author":"L. Henkin","year":"1971","unstructured":"Henkin, L., Monk, J. D. and Tarski, A., Cylindric Algebras, Part I, North-Holland, Amsterdam, 1971."},{"key":"131266_CR36","volume-title":"Cylindric Algebras, Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., Monk, J. D. and Tarski, A., Cylindric Algebras, Part II, North-Holland, Amsterdam, 1985."},{"key":"131266_CR37","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M. and Milner, R., Algebraic laws for nondeterminism and concurrency, Journal of the ACM\n32(1985), 137\u2013161.","journal-title":"Journal of the ACM"},{"key":"131266_CR38","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/BF01049409","volume":"23","author":"I. Hodkinson","year":"1994","unstructured":"Hodkinson, I., Finite H-dimension does not imply expressive completeness, Journal of Philosophical Logic\n23(1994), 535\u2013573.","journal-title":"Journal of Philosophical Logic"},{"key":"131266_CR39","series-title":"Logic Group Preprint Series","volume-title":"Counting Variables in a Dynamic Setting","author":"M. Hollenberg","year":"1994","unstructured":"Hollenberg, M. and Vermeulen, K., Counting Variables in a Dynamic Setting, Logic Group Preprint Series 125, Filosofisch Instituut, Rijksuniversiteit, Utrecht, 1994."},{"key":"131266_CR40","doi-asserted-by":"crossref","unstructured":"Immerman, N., Relational queries computable in polynomial time, Proceedings 14th Annual ACM Symposium on the Theory of Computing, 1982, pp. 147\u2013152.","DOI":"10.1145\/800070.802187"},{"key":"131266_CR41","unstructured":"Immermann, N. and Kozen, D., Definability with bounded number of bound variables, Proceedings 2d IEEE Symposium on Logic in Computer Science, 1987, pp. 236\u2013244."},{"key":"131266_CR42","doi-asserted-by":"crossref","unstructured":"Kolaitis, F. and V\u00e4\u00e4n\u00e4nen, J., Generalized quantifiers and pebble games on finite structures, Proceedings of the 7th IEEE Symposium on Logic in Computer Science, 1992, pp. 348\u2013359. (Full version to appear in Annals of Pure and Applied Logic.)","DOI":"10.1109\/LICS.1992.185547"},{"key":"131266_CR43","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-94-015-8242-1_7","volume-title":"Diamonds and Defaults","author":"M. Kracht","year":"1993","unstructured":"Kracht, M., How completeness and correspondence theory got married, in M. de Rijke (ed.), Diamonds and Defaults, Kluwer, Dordrecht, 1993, pp. 175\u2013214."},{"key":"131266_CR44","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M. and Wolter, F., Properties of independently axiomatizable bimodal logics, Journal of Symbolic Logic\n56(1991), 1469\u20131485.","journal-title":"Journal of Symbolic Logic"},{"key":"131266_CR45","first-page":"143","volume-title":"Generalized Quantifiers, Theory and Applications","author":"M. van Lambalgen","year":"1991","unstructured":"van Lambalgen, M., Natural deduction for generalized quantifiers, in J. van der Does and J. van Eyck (eds), Generalized Quantifiers, Theory and Applications, Dutch PhD Network for Language, Logic and Information, Amsterdam, 1991, pp. 143\u2013154. (Appeared with CSLI Publications, Stanford, 1996.)"},{"key":"131266_CR46","volume-title":"Axiomatization of Cylindric-Relativized Set Algebras with Polyadic Quantifiers","author":"M. van Lambalgen","year":"1994","unstructured":"van Lambalgen, M. and Simon, A., Axiomatization of Cylindric-Relativized Set Algebras with Polyadic Quantifiers, Institute for Logic, Language and Computation, Amsterdam, and Mathematical Institute, Hungarian Academy of Sciences, Budapest, 1994."},{"key":"131266_CR47","volume-title":"Craig Interpolation in Algebraizable Logics","author":"J. Madar\u00e0sz","year":"1994","unstructured":"Madar\u00e0sz, J., Craig Interpolation in Algebraizable Logics, submitted. Mathematical Institute, Budapest, 1994, preprint."},{"key":"131266_CR48","unstructured":"Marx, M., Arrow Logic and Relativized Algebras of Relations, PhD dissertation, CCSOM and ILLC, University of Amsterdam, 1995."},{"key":"131266_CR49","doi-asserted-by":"crossref","first-page":"451","DOI":"10.2307\/2274233","volume":"50","author":"I. Mason","year":"1985","unstructured":"Mason, I., The meta-theory of the classical propositional calculus is not axiomatizable, Journal of Symbolic Logic\n50(1985), 451\u2013457.","journal-title":"Journal of Symbolic Logic"},{"key":"131266_CR50","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","volume":"34","author":"J. D. Monk","year":"1969","unstructured":"Monk, J. D., Nonfinitizability of classes of representable cylindric algebras, Journal of Symbolic Logic\n34(1969), 331\u2013343.","journal-title":"Journal of Symbolic Logic"},{"key":"131266_CR51","first-page":"561","volume-title":"Mathematical Logic in Computer Science","author":"I. N\u00e9meti","year":"1981","unstructured":"N\u00e9meti, I., Connections between cylindric algebras and initial algebra semantics of CF languages, in B. Domolki and T. Gergely (eds), Mathematical Logic in Computer Science (Proceedings Conference Salgotarjan 1978), Colloq. Math. Soc. J. Bolyai, Vol. 26, North-Holland, Amsterdam, 1981, pp. 561\u2013605."},{"issue":"3","key":"131266_CR52","doi-asserted-by":"crossref","first-page":"689","DOI":"10.2307\/2274323","volume":"50","author":"I. N\u00e9meti","year":"1985","unstructured":"N\u00e9meti, I., Cylindric-relativized set algebras have strong amalgamation, Journal of Symbolic Logic\n50(3) (1985), 689\u2013700.","journal-title":"Journal of Symbolic Logic"},{"key":"131266_CR53","volume-title":"Free Algebras and Decidability in Algebraic Logic","author":"I. N\u00e9meti","year":"1986","unstructured":"N\u00e9meti, I., Free Algebras and Decidability in Algebraic Logic, Third Doctoral Dissertation, Mathematical Institute, Hungarian Academy of Sciences, Budapest, 1986."},{"key":"131266_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BFb0043078","volume-title":"Algebraic Logic and Universal Algebra in Computer Science","author":"I. N\u00e9meti","year":"1990","unstructured":"N\u00e9meti, I., On cylindric algebraic model theory, in C. Bergman, R. Maddux and D. Pigozzi (eds), Algebraic Logic and Universal Algebra in Computer Science (Proceedings Conference Ames 1988), Lecture Notes in Computer Science, Vol. 425, Springer Verlag, Berlin, 1990, pp. 37\u201376."},{"issue":"3\u20134","key":"131266_CR55","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00e9meti","year":"1991","unstructured":"N\u00e9meti, I., Algebraizations of quantifier logics: an introductory overview, Studia Logica\n50(3\u20134) (1991), 485\u2013569. (See also N\u00e9meti 1994.)","journal-title":"Studia Logica"},{"key":"131266_CR56","first-page":"177","volume-title":"Logic Colloquium 92.Veszprem, Hungary","author":"I. N\u00e9meti","year":"1992","unstructured":"N\u00e9meti, I., Decidability of weakened versions of first-order logic. First version in Pre-Proceedings Logic at Work, CCSOM, Amsterdam. Appeared as \u201cDecidable Versions of First-Order Logic and Cylindric-Relativized Set Algebras\u201d, in L. Csirmaz, D. Gabbay and M. de Rijke, eds., 1995, Logic Colloquium 92.Veszprem, Hungary, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1992, pp. 177\u2013241."},{"key":"131266_CR57","unstructured":"N\u00e9meti, I., Algebraizations of Quantifier Logics, extended version, to appear in Proceedings Summer School on Algebraic Logic, Budapest, 1994."},{"issue":"5","key":"131266_CR58","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H.-J. Ohlbach","year":"1991","unstructured":"Ohlbach, H.-J., Semantic-based translation methods for modal logics, Journal of Logic and Computation\n1(5) (1991), 691\u2013746.","journal-title":"Journal of Logic and Computation"},{"key":"131266_CR59","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF02944991","volume":"1","author":"D. Pigozzi","year":"1971","unstructured":"Pigozzi, D., Amalgamation, congruence extension, and interpolation properties in algebras, Algebra Universalis\n1(1971), 269\u2013349.","journal-title":"Algebra Universalis"},{"key":"131266_CR60","unstructured":"Roorda, D., Resource Logics. A Proof-Theoretic Investigation, dissertation, Institute for Logic, Language and Computation, University of Amsterdam, 1991."},{"key":"131266_CR61","volume-title":"Preservation Theorems in Finite Model Theory","author":"E. Rosen","year":"1995","unstructured":"Rosen, E. and Weinstein, S., Preservation Theorems in Finite Model Theory, The Institute for Research in Cognitive Science, University of Pennsylvania, Philadelphia, 1995."},{"key":"131266_CR62","unstructured":"de Rijke, M., Extending Modal Logic, dissertation, Institute for Logic, Language and Computation, University of Amsterdam, 1993."},{"key":"131266_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BFb0043086","volume-title":"Algebraic Logic and Universal Algebra in Computer Science","author":"I. Sain","year":"1990","unstructured":"Sain, I., Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, in C. Bergman, R. Maddux and D. Pigozzi (eds), Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science 425, Springer Verlag, Berlin, 1990, pp. 209\u2013226."},{"key":"131266_CR64","volume-title":"Negative and Positive Results on Definability Properties in Finite Variable Fragments","author":"I. Sain","year":"1993","unstructured":"Sain, I. and Simon, A., Negative and Positive Results on Definability Properties in Finite Variable Fragments, manuscript, Mathematical Institute, Hungarian Academy of Sciences, Budapest, 1993."},{"key":"131266_CR65","first-page":"539","volume-title":"Strictly Finite Schema Axiomatization of Quasi-Polyadic Algebras","author":"I. Sain","year":"1990","unstructured":"Sain, I. and Thompson, R. J., Strictly Finite Schema Axiomatization of Quasi-Polyadic Algebras, Algebraic Logic, North-Holland, 1990, pp. 539\u2013572."},{"key":"131266_CR66","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF01470747","volume":"148","author":"K. Sch\u00fctte","year":"1962","unstructured":"Sch\u00fctte, K., Der Interpolationssatz der Intuitionistischen Pr\u00e4dikatenlogik, Mathematische Annalen\n148(1962), 192\u2013200.","journal-title":"Mathematische Annalen"},{"key":"131266_CR67","volume-title":"A Formalization of Set Theory Without Variables","author":"A. Tarski","year":"1987","unstructured":"Tarski, A. and Givant, S. R., A Formalization of Set Theory Without Variables, AMS Colloquium Publications, Vol. 41, Providence, Rhode Island, 1987."},{"key":"131266_CR68","unstructured":"Venema, Y., Many-Dimensional Modal Logic, dissertation, Mathematical Institute, University of Amsterdam, 1991."},{"key":"131266_CR69","first-page":"293","volume-title":"Logic Colloquium 92.Veszprem, Hungary","author":"Y. Venema","year":"1995","unstructured":"Venema, Y., A modal logic for quantification and substitution, in L. Csirmaz, D. Gabbay and M. de Rijke (eds), 1995, Logic Colloquium 92.Veszprem, Hungary, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1995A, pp. 293\u2013309."},{"key":"131266_CR70","doi-asserted-by":"crossref","first-page":"591","DOI":"10.2307\/2275853","volume":"60","author":"Y. Venema","year":"1995","unstructured":"Venema, Y., Cylindric modal logic, Journal of Symbolic Logic\n60(1995B), 591\u2013623.","journal-title":"Journal of Symbolic Logic"},{"key":"131266_CR71","volume-title":"Multi-Dimensional Modal Logic","author":"Y. Venema","year":"1996","unstructured":"Venema, Y. and Marx, M., Multi-Dimensional Modal Logic, Kluwer, Dordrecht, 1996."},{"key":"131266_CR72","unstructured":"Visser, A., de Jongh, D., Renardel, G. and van Benthem, J., NNIL, a study in intuitionistic propositional logic, in A. Ponse, M. de Rijke and Y. Venema (eds), Modal Logic and Process Algebra, CSLI Lecture Notes, Stanford, 1995, pp. 289\u2013326."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004275029985.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004275029985\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1004275029985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004275029985.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:35:30Z","timestamp":1752147330000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004275029985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":72,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["131266"],"URL":"https:\/\/doi.org\/10.1023\/a:1004275029985","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}