{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T10:16:19Z","timestamp":1775816179825,"version":"3.50.1"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1991,8]]},"DOI":"10.1007\/bf00250539","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T10:18:35Z","timestamp":1096971515000},"page":"225-263","source":"Crossref","is-referenced-by-count":34,"title":["Language in action"],"prefix":"10.1007","volume":"20","author":[{"given":"Johan","family":"Van Benthem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Abrusci, V. M., 1988a, ?Sequent Calculus for Intuitionistic Linear Propositional Logic?, report 1, Department of Philosophy of Science, University of Bari."},{"key":"CR2","unstructured":"Abrusci, V. M., 1988b, ?A Comparison between Lambek Syntactic Calculus and Intuitionistic Linear Propositional Logic?, report 2, Department of Philosophy of Science, University of Bari."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"Avron, A., 1988, ?The Semantics and Proof Theory of Linear Logic?, Theoretical Computer Science 57, 161?184.","journal-title":"Theoretical Computer Science"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Barwise, J., 1987, ?Noun Phrases, Generalized Quantifiers and Anaphora?, in P. Gardenfors, ed., 1987, 1?29.","DOI":"10.1007\/978-94-009-3381-1_1"},{"key":"CR5","volume-title":"Modal Logic and Classical Logic","author":"J. Benthem van","year":"1985","unstructured":"Benthem, J.van, 1985. Modal Logic and Classical Logic. Bibliopolis, Napoli\/The Humanities Press, Atlantic Heights."},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4540-1","volume-title":"Essays in Logical Semantics","author":"J. Benthem van","year":"1986","unstructured":"Benthem, J.van, 1986, Essays in Logical Semantics, D. Reidel, Dordrecht."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Benthem, J. van, 1987, ?Categorial Grammar and Type Theory?, report 87-07, Institute for Language, Logic and Information, University of Amsterdam. Also appeared in Journal of Philosophical Logic 19, 115?168.","DOI":"10.1007\/BF00263539"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Benthem, J. van, 1987*, ?Polyadic Quantifiers?, report 87-04, Institute for Language, Logic and Information, University of Amsterdam. Also appeared in Linguistics and Philosophy 12, 437?464.","DOI":"10.1007\/BF00632472"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Benthem, J. van, 1988a, ?The Lambek Calculus?, in R. Oehrle et al., eds., 1988, 35?68.","DOI":"10.1007\/978-94-015-6878-4_3"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Benthem, J. van, 1988b, ?Semantic Parallels in Natural Language and Computation?, report 88-06, Institute for Language, Logic and Information, University of Amsterdam. Also appeared in H.-D. Ebbinghaus et al., eds., 1989, 331?375.","DOI":"10.1016\/S0049-237X(08)70133-2"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Benthem, J. van, 1988c, ?Logical Constants across Varying Types?, report LP-88-05, Institute for Language, Logic and Information, University of Amsterdam. Also appeared in Notre Dame Journal of Formal Logic 30, 315?342.","DOI":"10.1305\/ndjfl\/1093635152"},{"key":"CR12","unstructured":"Benthem, J. van, 1989a, ?The Fine-Structure of Categorial Semantics?, report LP-89-01, Institute for Language, Logic and Information, University of Amsterdam. (To appear in M. Rosner, ed., Lugano Workshop on Computational Linguistics and Formal Semantics, Cambridge University Press.)"},{"key":"CR13","unstructured":"Benthem, J. van, 1989b, ?Relational Algebra from The Perspective of Modal Logic?, Institute of Language, Logic and Information, University of Amsterdam."},{"key":"CR14","volume-title":"Proceedings Prior Memorial Conference","author":"J. Benthem van","year":"1989c","unstructured":"Benthem, J. van, 1989c, ?Modal Logic as a Theory of Information?, to appear in J. Copeland, ed., Proceedings Prior Memorial Conference, Christchurch, New Zealand."},{"key":"CR15","series-title":"Studies in Logic","volume-title":"Language in Action: Categories, Lambdas and Dynamic Logic","author":"J. Benthem van","year":"1991","unstructured":"Benthem, J.van, 1991, Language in Action: Categories, Lambdas and Dynamic Logic, North-Holland, Amsterdam (Studies in Logic)."},{"key":"CR16","volume-title":"dissertation","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski, W., 1982, Lambek's Categorial Grammars, dissertation, Institute of Mathematics, Adam Mickiewicz University, Poznan."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1002\/malq.19860320104","volume":"32","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W., 1986, ?Completeness Results for Lambek Syntactic Calculus?, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 32, 13?28.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR18","volume-title":"Categorial Grammar","year":"1988","unstructured":"Buszkowski, W., Marciszewski, W., and Benthem, J.van, eds., 1988, Categorial Grammar, John Benjamin, Amsterdam and Philadelphia."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M.-L., 1985, ?Quantum Logic?, in Gabbay & Guenthner, eds., 1985, 427?469.","DOI":"10.1007\/978-94-009-5203-4_7"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1002\/malq.19850311405","volume":"31","author":"K. Do?en","year":"1985","unstructured":"Do?en, K., 1985, ?A Completeness Theorem for the Lambek Calculus of Syntactic Categories?, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 31, 235?281.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Dunn, M., 1985, ?Relevance Logic and Entailment?, in Gabbay & Guenthner, eds., 1985, 117?224.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"CR22","series-title":"Studies in Logic","volume-title":"Logic Colloquium, Granada 1987","year":"1989","unstructured":"Ebbinghaus, H.-D., et al., eds., 1989, Logic Colloquium, Granada 1987, North-Holland, Amsterdam, (Studies in Logic)."},{"key":"CR23","unstructured":"Fitch, F. B., 1952, Symbolic Logic: an Introduction, New York."},{"key":"CR24","series-title":"Extensions of Classical Logic","volume-title":"Handbook of Philosophical Logic","year":"1984","unstructured":"Gabbay, D. and Guenthner, F., eds., 1984, Handbook of Philosophical Logic, vol. II (Extensions of Classical Logic), D. Reidel, Dordrecht."},{"key":"CR25","series-title":"Alternatives to Classical Logic","volume-title":"Handbook of Philosophical Logic","year":"1985","unstructured":"Gabbay, D. and Guenthner, F., eds., 1985, Handbook of Philosophical Logic, vol. III (Alternatives to Classical Logic), D. Reidel, Dordrecht."},{"key":"CR26","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","year":"1990","unstructured":"Gabbay, D., Hogger, C. and Robinson, J., eds., 1990, Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, Oxford."},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., and Stavi, Y., 1980, ?On the Temporal Analysis of Fairness?, ACM Symposium on Principles of Programming Languages, 163?173.","DOI":"10.1145\/567446.567462"},{"key":"CR28","volume-title":"Generalized Quantifiers. Linguistic and Logical Approaches","year":"1987","unstructured":"G\u00e4rdenfors, P., ed., 1987, Generalized Quantifiers. Linguistic and Logical Approaches, D. Reidel, Dordrecht."},{"key":"CR29","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., 1988, Knowledge in Flux: Modelling the Dynamics of Epistemic States, Bradford Books\/MIT Press, Cambridge (Mass.)."},{"key":"CR30","unstructured":"G\u00e4rdenfors, P. and Makinson, D., 1988, ?Revision of Knowledge Systems Using Epistemic Entrenchment?, in M. Vardi, ed., 1988, 83?95."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Gargov, G., Passy, S., and Tinchev, T., 1987, ?Modal Environment for Boolean Speculations?, in D. Skordev, ed., 1987, 253?263.","DOI":"10.1007\/978-1-4613-0897-3_17"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., 1987, ?Linear Logic?, Theoretical Computer Science 50, 1?102.","journal-title":"Theoretical Computer Science"},{"key":"CR33","unstructured":"Groenendijk, J. and Stokhof, M., 1988, ?Dynamic Predicate Logic?, Institute for Language, Logic and Information, University of Amsterdam. (To appear in Linguistics and Philosophy.)"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Harel, D., 1984, ?Dynamic Logic?, in Gabbay & Guenthner, eds, 1984, 497?604.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"CR35","volume-title":"dissertation","author":"I. Heim","year":"1982","unstructured":"Heim, I., 1982, The Semantics of Definite and Indefinite Noun Phrases, dissertation, Department of Linguistics, University of Massachusetts, Amherst."},{"key":"CR36","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J. and Ullman, J., 1979, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading (Mass.)."},{"key":"CR37","first-page":"236","volume":"1987","author":"N. Immerman","year":"1987","unstructured":"Immerman, N. and Kozen, D., 1987, ?Definability with Bounded Number of Bound Variables?, Proceedings IEEE 1987, 236?244.","journal-title":"Proceedings IEEE"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. and Tarski, A., 1951, ?Boolean Algebra with Operators I?, American Journal of Mathematics 73, 891?939.","journal-title":"American Journal of Mathematics"},{"key":"CR39","volume-title":"The Theory of Binary Relations","author":"B. J\u00f3nsson","year":"1984","unstructured":"J\u00f3nsson, B., 1984, ?The Theory of Binary Relations?, Department of Mathematics, VanderBilt University, Nashville (Tenn.)."},{"key":"CR40","volume-title":"dissertation","author":"R. Koymans","year":"1989","unstructured":"Koymans, R., 1989, Specifying Message Passing and Time-Critical Systems with Temporal Logic, dissertation, Department of Computer Science, Technological University, Eindhoven."},{"key":"CR41","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Lafont, Y., 1988, ?The Linear Abstract Machine?, Theoretical Computer Science 59, 157?180.","journal-title":"Theoretical Computer Science"},{"key":"CR42","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J., 1958, ?The Mathematics of Sentence Structure?, American Mathematical Monthly 65, 154?170.","journal-title":"American Mathematical Monthly"},{"key":"CR43","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R. Maddux","year":"1983","unstructured":"Maddux, R., 1983, ?A Sequent Calculus for Relation Algebras?, Annals of Pure and Applied Logic 25, 73?101.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CR44","unstructured":"Makinson, D., 1988, ?General Non-Monotonic Logic?, to appear in Gabbay et al., eds., 1990."},{"key":"CR45","series-title":"GRASS series","doi-asserted-by":"crossref","DOI":"10.1515\/9783112329580","volume-title":"Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus","author":"M. Moortgat","year":"1988","unstructured":"Moortgat, M., 1988, Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus, Foris, Dordrecht (GRASS series)."},{"key":"CR46","series-title":"Studies in Linguistics and Philosophy","volume-title":"Categorial Grammars and Natural Language Structures","year":"1988","unstructured":"Oehrle, R., Bach, E., and Wheeler, D., eds. 1988. Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht (Studies in Linguistics and Philosophy)."},{"key":"CR47","unstructured":"Ono, H., 1988, ?Structural Rules and a Logical Hierarchy?, Faculty of Integrated Arts and Sciences, Hiroshima University."},{"key":"CR48","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"W. V. O. Quine","year":"1946","unstructured":"Quine, W. V. O., 1946, ?Concatenation as a Basis for Arithmetic?, Journal of Symbolic Logic 11, 105?114.","journal-title":"Journal of Symbolic Logic"},{"key":"CR49","doi-asserted-by":"crossref","unstructured":"Sambin, G., 1988, ?Intuitionistic Formal Spaces and their Neighbourhood?, Mathematical Institute, University of Padova.","DOI":"10.1016\/S0049-237X(08)70272-6"},{"key":"CR50","volume-title":"Mathematical Logic and its Applications","year":"1987","unstructured":"Skordev, D., ed., 1987, Mathematical Logic and its Applications, Plenum Press, New York."},{"key":"CR51","series-title":"Studies in Logic","volume-title":"Constructivism in Mathematics: an Introduction","author":"A. Troelstra","year":"1988","unstructured":"Troelstra, A. and Dalen, D.van, 1988, Constructivism in Mathematics: an Introduction. North-Holland, Amsterdam (Studies in Logic)."},{"key":"CR52","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A. Urquhart","year":"1972","unstructured":"Urquhart, A., 1972, ?Semantics for Relevant Logics?, Journal of Symbolic Logic 37, 159?169.","journal-title":"Journal of Symbolic Logic"},{"key":"CR53","volume-title":"Proceedings 2d Conference on Theoretical Aspects of Reasoning about Knowledge","year":"1988","unstructured":"Vardi, M., ed., 1988, Proceedings 2d Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann Publishers, Los Altos."},{"key":"CR54","unstructured":"Veltman, F., 1989, ?Update Semantics?. Institute for Language, Logic and Information, University of Amsterdam."},{"key":"CR55","unstructured":"Wansing, H., 1989, ?The Adequacy Problem for Sequential Propositional Logic?, Institute for Language, Logic and Information, University of Amsterdam."},{"key":"CR56","first-page":"501","volume":"7","author":"J. Zucker","year":"1978","unstructured":"Zucker, J. and Tragesser, R., 1978, ?The Adequacy Problem for Inferential Logic?, Journal of Philosophical Logic 7, 501?516.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00250539.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00250539\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00250539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,26]],"date-time":"2021-06-26T05:49:11Z","timestamp":1624686551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00250539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":56,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF00250539"],"URL":"https:\/\/doi.org\/10.1007\/bf00250539","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}