DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

1
A Remark on Negation in Dependence Logic.
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 52 (2011) 1, 55-66
OLC Linguistik
Show details
2
Erratum to: On Definability in Dependence Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 20 (2010) 1, 133-134
OLC Linguistik
Show details
3
From IF to BI
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 167 (2009) 2, 207-230
BLLDB
OLC Linguistik
Show details
4
On Definability in Dependence Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 18 (2009) 3, 317-332
OLC Linguistik
Show details
5
On Definability in Dependence Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 18 (2009) 3, 317-332
OLC Linguistik
Show details
6
The Craig interpolation theorem in abstract model theory
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 164 (2008) 3, 401-420
BLLDB
OLC Linguistik
Show details
7
On the expressive power of monotone natural language quantifiers over finite models
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 31 (2002) 4, 327-358
BLLDB
Show details
8
Quantifiers and congruence closure
In: Studia logica. - Dordrecht : Springer Science + Business Media 62 (1999) 3, 315-340
BLLDB
Show details
9
Definability of Polyadic Lifts of Generalized Quantifiers
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 6 (1997) 3, 305-313
OLC Linguistik
Show details
10
Unary Quantifiers on Finite Models
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 6 (1997) 3, 275-304
OLC Linguistik
Show details

Catalogues
0
0
8
0
0
0
0
Bibliographies
4
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern