• Refine your search:
  • 
    Keyword:
    
    • Formale Semantik (9)
    • Sprachlogik (6)
    • Diskursrepräsentationstheorie (2)
    • Dynamische Semantik (2)
    • Englisch (2)
    • Formalisierung (method.) (2)
    • Prädikatenlogik (2)
    • Quantor (2)
    • Zeitlogik (2)
    • Computerlinguistik (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Book (5)
    • Article (4)
  • 
    BLLDB-Access:
    • free (9)
    • subject to license (0)

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 Hits 1 – 9 of 9 1 Natural-language content: a proof-theoretic perspective : a preliminary report Gabbay, Dov M.; Kempson, Ruth M. In: Semantics . - London : Routledge (2003), 398-428 BLLDB Show details 2 Naming worlds in modal and temporal logic Gabbay, Dov M.; Malod, G. In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 11 (2002) 1, 29-65 BLLDB Show details 3 Temporal logic and quantifier translations Gabbay, Dov M. In: How we say when it happens. - Tübigen : Niemeyer (2002), 233-279 BLLDB Show details 4 Fragments : studies in ellipsis and gapping Meyer-Viol, Wilfried (Mitarb.); Dalrymple, Mary (Mitarb.); Shieber, Stuart M. (Mitarb.). - New York, NY : Oxford Univ. Press, 1999 BLLDB UB Frankfurt Linguistik Show details 5 Logic, language and computation Seligman, Jerry (Hrsg.); Westerståhl, Dag (Hrsg.); Aczel, Peter (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1996 BLLDB Show details 6 Direct deductive computation on discourse representation structures Reyle, Uwe; Gabbay, Dov M. In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 17 (1994) 4, 343-390 BLLDB Show details 7 Negation in structured consequence relations. - What is negation in a system? ; 2 : Negation in structured consequence relations. - Wansing, Heinrich; Gabbay, Dov M.. - Hamburg : Graduiertenkolleg Kognitionswiss., Univ. Hamburg, 1993 BLLDB UB Frankfurt Linguistik Show details 8 Semantical investigations in Heytings's intuitionistic logic Gabbay, Dov M.. - Dordrecht [u.a.] : Reidel, 1981 BLLDB UB Frankfurt Linguistik Show details 9 Mass terms : some philosophical problems Bealer, George (Mitarb.); Ware, Robert X. (Mitarb.); Montague, Richard (Mitarb.). - Dordrecht [u.a.] : Reidel, 1979 BLLDB UB Frankfurt Linguistik Show details

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