• Refine your search:
  • 
    Keyword:
    
    • Sprachlogik (44)
    • Formale Semantik (14)
    • Modale Logik (11)
    • Quantor (7)
    • Kategoriale Grammatik (6)
    • Aussagenlogik (4)
    • Computerlinguistik (4)
    • Deduktion (4)
    • Reasoning (4)
    • Theorie (semant.) (4)
    •   more
  • 
    Creator / Publisher:
    
    • Benthem, Johan van (44)
    • Westerståhl, Dag (5)
    • Moortgat, Michael (3)
    • Andréka, Hajnal (2)
    • Does, Jaap van der (2)
    • Eijck, Jan van (2)
    • Goldblatt, Robert (2)
    • Grünwald, Peter (2)
    • Hendriks, Herman (2)
    • Kamp, Hans (2)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

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 Hits 1 – 20 of 44 1 Where is logic going, and should it? Benthem, Johan van In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 25 (2006) 1-2, 117-122 BLLDB OLC Linguistik Show details 2 What one may come to know Benthem, Johan van In: Analysis. - Oxford [u.a.] : Oxford Univ. Press 64 (2004) 2, 95-105 BLLDB Show details 3 Connecting the different faces of information Benthem, Johan van (Hrsg.); Rooij, Robert van (Hrsg.); Kooi, Barteld P. (Mitarb.)... In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 12 (2003) 4, 375-529 BLLDB Show details 4 Categorial grammar at a cross-roads Benthem, Johan van In: Resource-sensitivity, binding and anaphora. - Dordrecht [u.a.] : Kluwer (2003), 3-21 BLLDB Show details 5 Two approaches to the philosophy of information Floridi, Luciano (Hrsg.); Adams, Frederick (Mitarb.); Benthem, Johan van (Mitarb.)... In: Minds and machines. - Dordrecht [u.a.] : Springer Science + Business Media B.V 13 (2003) 4, 459-588 BLLDB Show details 6 Polyadic quantifiers Benthem, Johan van In: Semantics . - London : Routledge (2003), 181-209 BLLDB Show details 7 Determiners and logic Benthem, Johan van In: Semantics . - London : Routledge (2003), 75-105 BLLDB Show details 8 Words, proofs, and diagrams Tiede, Hans-Joerg (Mitarb.); Lemon, Oliver (Mitarb.); Koller, Alexander (Mitarb.). - Stanford, Calif. : Univ., Center for the Study of Language and Information, 2002 BLLDB UB Frankfurt Linguistik Show details 9 Dynamic perspectives in logic and linguistics : proof-theoretical dimensions of communication processes ; proceedings of the IV Roma workshop ; Rome, October 15 - 17, 1997 ; [research report] Gonzalo, Julio (Mitarb.); Heylen, Dirk (Mitarb.); Perrier, Guy (Mitarb.). - Roma : Bulzoni, 1999 BLLDB UB Frankfurt Linguistik Show details 10 Logic, language and reasoning : essays in honour of Dov Gabbay Szałas, Andrzej (Mitarb.); Segerberg, Krister (Mitarb.); Gerbrandy, Jelle (Mitarb.). - Dordrecht [u.a.] : Kluwer, 1999 BLLDB UB Frankfurt Linguistik Show details 11 Computing natural language Kameyama, Megumi (Mitarb.); Böttner, Michael (Mitarb.); Glabbeek, Rob van (Hrsg.). - Stanford, Calif. : Stanford Univ., Center for the Study of Language and Information, 1998 BLLDB UB Frankfurt Linguistik Show details 12 Program constructions that are safe for bisimulation Benthem, Johan van In: Studia logica. - Dordrecht : Springer Science + Business Media 60 (1998) 2, 311-330 BLLDB Show details 13 Modal deduction in second-order logic and set theory - II Benthem, Johan van; D'Agostino, Giovanna; Montanari, Angelo... In: Studia logica. - Dordrecht : Springer Science + Business Media 60 (1998) 3, 387-420 BLLDB Show details 14 Handbook of logic and language Benthem, Johan van; Meulen, Alice G. B. ter.. - Amsterdam : Elsevier, 1997 UB Frankfurt Linguistik Show details 15 Handbook of logic and language Benthem, Johan van (Hrsg.); Meulen, Alice ter (Hrsg.). - Amsterdam [u.a.] : Elsevier [u.a.], 1997 BLLDB Institut für Empirische Sprachwissenschaft UB Frankfurt Linguistik Show details 16 Dynamics Muskens, Reinhard; Benthem, Johan van; Visser, Albert In: Handbook of logic and language. - Amsterdam [u.a.] : Elsevier [u.a.] (1997), 587-648 BLLDB Show details 17 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 18 Interpolation, preservation, and pebble games Barwise, Jon; Benthem, Johan van. - Amsterdam : Inst. for Logic, Language and Computation, 1996 BLLDB UB Frankfurt Linguistik Show details 19 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 20 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 Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 20 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 2 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 43 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 0 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