Home
Catalogue search
Refine your search:
Keyword:
Sprachlogik (24)
Formale Semantik (6)
Argumentationstheorie (5)
Deduktion (5)
Modale Logik (5)
Zeitlogik (5)
Reasoning (artificial intelligence) (4)
Argumentation (methodol.) (3)
Englisch (3)
Handbücher / Fachenzyklopädien (3)
more
Creator / Publisher
Year
Medium
Type:
Article (15)
Book (9)
BLLDB-Access:
free (24)
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
Page:
1
2
Hits 1 – 20 of 24
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
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
Temporal logic and quantifier translations
Gabbay, Dov M.
In:
How we say when it happens. - Tübigen : Niemeyer
(2002), 233-279
BLLDB
Show details
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
Preservation of expressive completeness in temporal models
Amir, Amihood
;
Gabbay, Dov M.
In:
Information and computation. - Amsterdam : Elsevier
72 (1987) 1, 66-83
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
23
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
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern