• Refine your search:
  • 
    Keyword:
    
    • Sprachlogik (24)
    • Argumentationstheorie (6)
    • Formale Semantik (6)
    • Deduktion (5)
    • Modale Logik (5)
    • Zeitlogik (5)
    • Reasoning (artificial intelligence) (4)
    • Argumentation (methodol.) (3)
    • Englisch (3)
    • Handbücher / Fachenzyklopädien (3)
    •   more
  • 
    Creator / Publisher:
    
    • Gabbay, Dov M. (25)
    • Blackburn, Patrick (2)
    • Boella, Guido (2)
    • Nossum, Rolf (2)
    • Restall, Greg (2)
    • Rijke, Maarten de (2)
    • Seligman, Jerry (2)
    • Stenning, Keith (2)
    • Torre, Leendert van der (2)
    • Woods, John (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 Hits 1 – 20 of 25 1 Logic : a history of its central concepts. - Handbook of the history of logic ; 11 : Logic : a history of its central concepts. - Gabbay, Dov M. (Hrsg.). - Amsterdam [u.a.] : Elsevier [u.a.], 2012 BLLDB UB Frankfurt Linguistik Show details 2 Analysis of the Talmudic Argumentum A Fortiori inference rule (Kal Vachomer) using Matrix Abduction Avraham, Mikhaʾel; Gabbay, Dov M.; Schild, Uri J. In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 281-364 BLLDB Show details 3 A meta-model of access control in a fibred security language Barker, Steve; Boella, Guido; Gabbay, Dov M.... In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 437-477 BLLDB Show details 4 Meta-argumentation modelling, 1, Methodology and techniques Boella, Guido; Gabbay, Dov M.; Torre, Leendert van der... In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 297-355 BLLDB Show details 5 Complete extensions in argumentation coincide with 3-valued stable models in logic programming Wu, Yining; Caminada, Martin W. A.; Gabbay, Dov M. In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 383-403 BLLDB Show details 6 Semantics for higher level attacks in extended argumentation frames, Part 1, Overview Gabbay, Dov M. In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 357-381 BLLDB Show details 7 Context-dependent abduction and relevance Gabbay, Dov M.; Nossum, Rolf; Woods, John In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 35 (2006) 1, 65-81 BLLDB Show details 8 Trees in linguistics, logic and computer science Gabbay, Dov M. (Hrsg.); Goranko, Valentin (Hrsg.); Le Nir, Yannick (Mitarb.)... In: Research on language and computation. - London : King's College 1 (2003) 3-4, 179-336 BLLDB Show details 9 Handbook of the logic of argument and inference : the turn towards the practical/ Gabbay, Dov M.. - Amsterdam : North Holland/Elsevier, 2002 UB Frankfurt Linguistik Show details 10 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 11 Handbook of the logic of argument and inference : the turn towards the practical Moniz Pereira, Luíz (Mitarb.); Hintikka, Jaakko (Mitarb.); Perkins, David N. (Mitarb.). - Amsterdam [u.a.] : Elsevier, 2002 BLLDB UB Frankfurt Linguistik Show details 12 Many-dimensional logical systems Kurucz, A. (Hrsg.); Wolter, Frank (Hrsg.); Zacharjaščev, Michail V. (Hrsg.)... In: Studia logica. - Dordrecht : Springer Science + Business Media 72 (2002) 2, 147-309 BLLDB Show details 13 Temporal logic and quantifier translations Gabbay, Dov M. In: How we say when it happens. - Tübigen : Niemeyer (2002), 233-279 BLLDB Show details 14 Formal aspects of context Bunt, Harry (Mitarb.); Gabbay, Dov M. (Mitarb.); Galliker, Markus Bernhard. - Dordrecht [u.a.] : Kluwer Academic, 2000 BLLDB UB Frankfurt Linguistik Show details 15 Labelled resolution for classical and non-classical logics Gabbay, Dov M.; Reyle, U. In: Studia logica. - Dordrecht : Springer Science + Business Media 59 (1997) 2, 179-216 BLLDB Show details 16 Combining logics I Gabbay, Dov M. (Hrsg.); Pirri, Fiora (Hrsg.); Blackburn, Patrick (Mitarb.)... In: Studia logica. - Dordrecht : Springer Science + Business Media 59 (1997) 1, 1-141 BLLDB Show details 17 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 18 Applied logic: how, what and why : logical approaches to natural language Johnson, David E. (Mitarb.); Vermeulen, Cees (Mitarb.); Seligman, Jerry (Mitarb.). - Dordrecht [u.a.] : Kluwer Acad. Publ., 1995 BLLDB UB Frankfurt Linguistik Show details 19 Conditionals : from philosophy to computer science Alchourrón, Carlos Eduardo (Mitarb.); Segerberg, Krister (Mitarb.); Asher, Nicholas (Mitarb.). - Oxford : Clarendon Press, 1995 BLLDB UB Frankfurt Linguistik Show details 20 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 Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 8 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 24 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