• Refine your search:
  • 
    Keyword:
    
    • Sprachlogik (44)
    • Formale Semantik (25)
    • Modale Logik (14)
    • Dynamische Logik (12)
    • Quantor (12)
    • Kategoriale Grammatik (10)
    • Epistemische Logik (9)
    • Theorie (semant.) (8)
    • Aussagenlogik (6)
    • Englisch (6)
    •   more
  • 
    Creator / Publisher:
    
    • Benthem, Johan van (96)
    • Eijck, Jan van (5)
    • Moortgat, Michael (5)
    • Westerståhl, Dag (5)
    • Andréka, Hajnal (3)
    • Gerbrandy, Jelle (3)
    • Kamp, Hans (3)
    • Keenan, Edward L. (3)
    • Kooi, Barteld P. (3)
    • Meulen, Alice ter (3)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Print (94)
    • Online (4)
    • Miscellaneous (2)
  • 
    Type:
    
    • Article (51)
    • Book (49)
  • 
    BLLDB-Access:
    • free (100)
    • subject to license (4)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 Hits 41 – 60 of 100 41 Quantifiers, logic, and language Mey, Sjaak de (Mitarb.); Lambalgen, Michiel van (Mitarb.); Benthem, Johan van (Mitarb.). - Stanford, Calif. : Stanford Univ., Center for the Study of Language and Information, 1996 BLLDB UB Frankfurt Linguistik Show details 42 Interpolation, preservation, and pebble games Barwise, Jon; Benthem, Johan van. - Amsterdam : Inst. for Logic, Language and Computation, 1996 BLLDB UB Frankfurt Linguistik Show details 43 Modal languages and bounded fragments of predicate logic Andréka, Hajnal; Benthem, Johan van; Németi, István. - Amsterdam : Inst. for Logic, Language and Computation, 1996 BLLDB UB Frankfurt Linguistik Show details 44 Language in action : categories, lambdas and dynamic logic Benthem, Johan van. - Cambridge, Mass. : The MIT Press [u.a.], 1995 BLLDB UB Frankfurt Linguistik Show details 45 Language in action : categories, lambdas and dynamic logic Benthem, Johan van. - Cambridge, Mass. : The MIT Press, 1995 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 46 Modal logic and process algebra : a bisimulation perspective Jongh, Dick de (Mitarb.); Hodkinson, Ian (Mitarb.); Goldblatt, Robert (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1995 BLLDB UB Frankfurt Linguistik Show details 47 Back and forth between modal logic and classical logic Andréka, Hajnal; Benthem, Johan van; Németi, István. - Amsterdam : Inst. for Logic, Language and Computation, 1995 UB Frankfurt Linguistik Show details 48 Directions in generalized quantifier theory Benthem, Johan van; Westerståhl, Dag In: Studia logica. - Dordrecht : Springer Science + Business Media 55 (1995) 3, 389-419 BLLDB Show details 49 Logic of Transition Systems Benthem, Johan Van; Bergstra, Jan In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 3 (1994) 4, 247-284 OLC Linguistik Show details 50 Dynamics, polarity and quantification Kanazawa, Makoto (Hrsg.); Piñón, Christopher J. (Hrsg.); Benthem, Johan van (Vorw.). - Stanford, Calif. : Center for the Study of Language and Information, 1994 BLLDB UB Frankfurt Linguistik Show details 51 Complexity in language Luelsdorff, Philip A. (Hrsg.); Daneš, František (Mitarb.); Beaugrande, Robert de (Mitarb.)... In: Theoretical linguistics. - Berlin [u.a.] : de Gruyter 17 (1991) 1-3, 5-298 BLLDB Show details 52 The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse Benthem, Johan van. - Dordrecht [u.a.] : Kluwer, 1991 BLLDB UB Frankfurt Linguistik Show details 53 The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse Benthem, Johan van. - 2. ed. - Dordrecht [u.a.] : Kluwer, 1991 IDS Mannheim Show details 54 Language in action : categories, lambdas and dynamic logic Benthem, Johan van. - Amsterdam [u.a.] : North-Holland, 1991 BLLDB UB Frankfurt Linguistik Show details 55 Language in action Benthem, Johan van In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 20 (1991) 3, 225-263 BLLDB Show details 56 Categorial grammar and type theory Benthem, Johan van. - [Dordrecht] : Kluwer, 1990 UB Frankfurt Linguistik Show details 57 Categorial grammar and type theory Benthem, Johan van In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 19 (1990) 2, 115-168 BLLDB Show details 58 Properties, types and meaning Chierchia, Gennaro (Hrsg.); Partee, Barbara H. (Hrsg.); Turner, Raymond (Hrsg.). - Dordrecht : Kluwer, 1989 BLLDB Show details 59 Studies on logical form and semantic interpretation May, Robert (Hrsg.); Benthem, Johan van (Mitarb.); Higginbotham, James (Mitarb.)... In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 12 (1989) 4, 383-533 BLLDB Show details 60 Semantics and contextual expression Emde Boas, Peter van (Hrsg.); Benthem, Johan van (Hrsg.); Bartsch, Renate (Hrsg.). - Dordrecht [u.a.] : Foris Publ., 1989 BLLDB UB Frankfurt Linguistik Show details Page: 1 2 3 4 5

Mobile view All Catalogues UB Frankfurt Linguistik 33 IDS Mannheim 7 OLC Linguistik 9 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 1 Institut für Empirische Sprachwissenschaft 2 Leibniz-Centre General Linguistics (ZAS) 8 Bibliographies BLLDB 74 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 2 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 0 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0